type crypto/internal/nistec/fiat.p521Uint1
1153 uses
crypto/internal/nistec/fiat (current package)
p521.go#L125: p521Selectznz((*p521UntypedFieldElement)(&v.x), p521Uint1(cond),
p521_fiat64.go#L43: type p521Uint1 uint64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
p521_fiat64.go#L71: func p521CmovznzU64(out1 *uint64, arg1 p521Uint1, arg2 uint64, arg3 uint64) {
p521_fiat64.go#L130: x30, x31 = bits.Add64(x25, x22, uint64(p521Uint1(x29)))
p521_fiat64.go#L133: x32, x33 = bits.Add64(x23, x20, uint64(p521Uint1(x31)))
p521_fiat64.go#L136: x34, x35 = bits.Add64(x21, x18, uint64(p521Uint1(x33)))
p521_fiat64.go#L139: x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
p521_fiat64.go#L142: x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
p521_fiat64.go#L145: x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
p521_fiat64.go#L148: x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
p521_fiat64.go#L149: x44 := (uint64(p521Uint1(x43)) + x11)
p521_fiat64.go#L182: x65, x66 = bits.Add64(x60, x57, uint64(p521Uint1(x64)))
p521_fiat64.go#L185: x67, x68 = bits.Add64(x58, x55, uint64(p521Uint1(x66)))
p521_fiat64.go#L188: x69, x70 = bits.Add64(x56, x53, uint64(p521Uint1(x68)))
p521_fiat64.go#L191: x71, x72 = bits.Add64(x54, x51, uint64(p521Uint1(x70)))
p521_fiat64.go#L194: x73, x74 = bits.Add64(x52, x49, uint64(p521Uint1(x72)))
p521_fiat64.go#L197: x75, x76 = bits.Add64(x50, x47, uint64(p521Uint1(x74)))
p521_fiat64.go#L200: x77, x78 = bits.Add64(x48, x45, uint64(p521Uint1(x76)))
p521_fiat64.go#L201: x79 := (uint64(p521Uint1(x78)) + x46)
p521_fiat64.go#L206: x82, x83 = bits.Add64(x28, x63, uint64(p521Uint1(x81)))
p521_fiat64.go#L209: x84, x85 = bits.Add64(x30, x65, uint64(p521Uint1(x83)))
p521_fiat64.go#L212: x86, x87 = bits.Add64(x32, x67, uint64(p521Uint1(x85)))
p521_fiat64.go#L215: x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
p521_fiat64.go#L218: x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
p521_fiat64.go#L221: x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
p521_fiat64.go#L224: x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
p521_fiat64.go#L227: x96, x97 = bits.Add64(x42, x77, uint64(p521Uint1(x95)))
p521_fiat64.go#L230: x98, x99 = bits.Add64(x44, x79, uint64(p521Uint1(x97)))
p521_fiat64.go#L263: x120, x121 = bits.Add64(x115, x112, uint64(p521Uint1(x119)))
p521_fiat64.go#L266: x122, x123 = bits.Add64(x113, x110, uint64(p521Uint1(x121)))
p521_fiat64.go#L269: x124, x125 = bits.Add64(x111, x108, uint64(p521Uint1(x123)))
p521_fiat64.go#L272: x126, x127 = bits.Add64(x109, x106, uint64(p521Uint1(x125)))
p521_fiat64.go#L275: x128, x129 = bits.Add64(x107, x104, uint64(p521Uint1(x127)))
p521_fiat64.go#L278: x130, x131 = bits.Add64(x105, x102, uint64(p521Uint1(x129)))
p521_fiat64.go#L281: x132, x133 = bits.Add64(x103, x100, uint64(p521Uint1(x131)))
p521_fiat64.go#L282: x134 := (uint64(p521Uint1(x133)) + x101)
p521_fiat64.go#L288: x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
p521_fiat64.go#L291: x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
p521_fiat64.go#L294: x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
p521_fiat64.go#L297: x143, x144 = bits.Add64(x90, x124, uint64(p521Uint1(x142)))
p521_fiat64.go#L300: x145, x146 = bits.Add64(x92, x126, uint64(p521Uint1(x144)))
p521_fiat64.go#L303: x147, x148 = bits.Add64(x94, x128, uint64(p521Uint1(x146)))
p521_fiat64.go#L306: x149, x150 = bits.Add64(x96, x130, uint64(p521Uint1(x148)))
p521_fiat64.go#L309: x151, x152 = bits.Add64(x98, x132, uint64(p521Uint1(x150)))
p521_fiat64.go#L312: x153, x154 = bits.Add64(uint64(p521Uint1(x99)), x134, uint64(p521Uint1(x152)))
p521_fiat64.go#L345: x175, x176 = bits.Add64(x170, x167, uint64(p521Uint1(x174)))
p521_fiat64.go#L348: x177, x178 = bits.Add64(x168, x165, uint64(p521Uint1(x176)))
p521_fiat64.go#L351: x179, x180 = bits.Add64(x166, x163, uint64(p521Uint1(x178)))
p521_fiat64.go#L354: x181, x182 = bits.Add64(x164, x161, uint64(p521Uint1(x180)))
p521_fiat64.go#L357: x183, x184 = bits.Add64(x162, x159, uint64(p521Uint1(x182)))
p521_fiat64.go#L360: x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
p521_fiat64.go#L363: x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
p521_fiat64.go#L364: x189 := (uint64(p521Uint1(x188)) + x156)
p521_fiat64.go#L369: x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
p521_fiat64.go#L372: x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
p521_fiat64.go#L375: x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
p521_fiat64.go#L378: x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
p521_fiat64.go#L381: x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
p521_fiat64.go#L384: x202, x203 = bits.Add64(x147, x183, uint64(p521Uint1(x201)))
p521_fiat64.go#L387: x204, x205 = bits.Add64(x149, x185, uint64(p521Uint1(x203)))
p521_fiat64.go#L390: x206, x207 = bits.Add64(x151, x187, uint64(p521Uint1(x205)))
p521_fiat64.go#L393: x208, x209 = bits.Add64(x153, x189, uint64(p521Uint1(x207)))
p521_fiat64.go#L394: x210 := (uint64(p521Uint1(x209)) + uint64(p521Uint1(x154)))
p521_fiat64.go#L427: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L430: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L433: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L436: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L439: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L442: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L445: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L446: x245 := (uint64(p521Uint1(x244)) + x212)
p521_fiat64.go#L452: x248, x249 = bits.Add64(x194, x229, uint64(p521Uint1(x247)))
p521_fiat64.go#L455: x250, x251 = bits.Add64(x196, x231, uint64(p521Uint1(x249)))
p521_fiat64.go#L458: x252, x253 = bits.Add64(x198, x233, uint64(p521Uint1(x251)))
p521_fiat64.go#L461: x254, x255 = bits.Add64(x200, x235, uint64(p521Uint1(x253)))
p521_fiat64.go#L464: x256, x257 = bits.Add64(x202, x237, uint64(p521Uint1(x255)))
p521_fiat64.go#L467: x258, x259 = bits.Add64(x204, x239, uint64(p521Uint1(x257)))
p521_fiat64.go#L470: x260, x261 = bits.Add64(x206, x241, uint64(p521Uint1(x259)))
p521_fiat64.go#L473: x262, x263 = bits.Add64(x208, x243, uint64(p521Uint1(x261)))
p521_fiat64.go#L476: x264, x265 = bits.Add64(x210, x245, uint64(p521Uint1(x263)))
p521_fiat64.go#L509: x286, x287 = bits.Add64(x281, x278, uint64(p521Uint1(x285)))
p521_fiat64.go#L512: x288, x289 = bits.Add64(x279, x276, uint64(p521Uint1(x287)))
p521_fiat64.go#L515: x290, x291 = bits.Add64(x277, x274, uint64(p521Uint1(x289)))
p521_fiat64.go#L518: x292, x293 = bits.Add64(x275, x272, uint64(p521Uint1(x291)))
p521_fiat64.go#L521: x294, x295 = bits.Add64(x273, x270, uint64(p521Uint1(x293)))
p521_fiat64.go#L524: x296, x297 = bits.Add64(x271, x268, uint64(p521Uint1(x295)))
p521_fiat64.go#L527: x298, x299 = bits.Add64(x269, x266, uint64(p521Uint1(x297)))
p521_fiat64.go#L528: x300 := (uint64(p521Uint1(x299)) + x267)
p521_fiat64.go#L533: x303, x304 = bits.Add64(x248, x284, uint64(p521Uint1(x302)))
p521_fiat64.go#L536: x305, x306 = bits.Add64(x250, x286, uint64(p521Uint1(x304)))
p521_fiat64.go#L539: x307, x308 = bits.Add64(x252, x288, uint64(p521Uint1(x306)))
p521_fiat64.go#L542: x309, x310 = bits.Add64(x254, x290, uint64(p521Uint1(x308)))
p521_fiat64.go#L545: x311, x312 = bits.Add64(x256, x292, uint64(p521Uint1(x310)))
p521_fiat64.go#L548: x313, x314 = bits.Add64(x258, x294, uint64(p521Uint1(x312)))
p521_fiat64.go#L551: x315, x316 = bits.Add64(x260, x296, uint64(p521Uint1(x314)))
p521_fiat64.go#L554: x317, x318 = bits.Add64(x262, x298, uint64(p521Uint1(x316)))
p521_fiat64.go#L557: x319, x320 = bits.Add64(x264, x300, uint64(p521Uint1(x318)))
p521_fiat64.go#L558: x321 := (uint64(p521Uint1(x320)) + uint64(p521Uint1(x265)))
p521_fiat64.go#L591: x342, x343 = bits.Add64(x337, x334, uint64(p521Uint1(x341)))
p521_fiat64.go#L594: x344, x345 = bits.Add64(x335, x332, uint64(p521Uint1(x343)))
p521_fiat64.go#L597: x346, x347 = bits.Add64(x333, x330, uint64(p521Uint1(x345)))
p521_fiat64.go#L600: x348, x349 = bits.Add64(x331, x328, uint64(p521Uint1(x347)))
p521_fiat64.go#L603: x350, x351 = bits.Add64(x329, x326, uint64(p521Uint1(x349)))
p521_fiat64.go#L606: x352, x353 = bits.Add64(x327, x324, uint64(p521Uint1(x351)))
p521_fiat64.go#L609: x354, x355 = bits.Add64(x325, x322, uint64(p521Uint1(x353)))
p521_fiat64.go#L610: x356 := (uint64(p521Uint1(x355)) + x323)
p521_fiat64.go#L616: x359, x360 = bits.Add64(x305, x340, uint64(p521Uint1(x358)))
p521_fiat64.go#L619: x361, x362 = bits.Add64(x307, x342, uint64(p521Uint1(x360)))
p521_fiat64.go#L622: x363, x364 = bits.Add64(x309, x344, uint64(p521Uint1(x362)))
p521_fiat64.go#L625: x365, x366 = bits.Add64(x311, x346, uint64(p521Uint1(x364)))
p521_fiat64.go#L628: x367, x368 = bits.Add64(x313, x348, uint64(p521Uint1(x366)))
p521_fiat64.go#L631: x369, x370 = bits.Add64(x315, x350, uint64(p521Uint1(x368)))
p521_fiat64.go#L634: x371, x372 = bits.Add64(x317, x352, uint64(p521Uint1(x370)))
p521_fiat64.go#L637: x373, x374 = bits.Add64(x319, x354, uint64(p521Uint1(x372)))
p521_fiat64.go#L640: x375, x376 = bits.Add64(x321, x356, uint64(p521Uint1(x374)))
p521_fiat64.go#L673: x397, x398 = bits.Add64(x392, x389, uint64(p521Uint1(x396)))
p521_fiat64.go#L676: x399, x400 = bits.Add64(x390, x387, uint64(p521Uint1(x398)))
p521_fiat64.go#L679: x401, x402 = bits.Add64(x388, x385, uint64(p521Uint1(x400)))
p521_fiat64.go#L682: x403, x404 = bits.Add64(x386, x383, uint64(p521Uint1(x402)))
p521_fiat64.go#L685: x405, x406 = bits.Add64(x384, x381, uint64(p521Uint1(x404)))
p521_fiat64.go#L688: x407, x408 = bits.Add64(x382, x379, uint64(p521Uint1(x406)))
p521_fiat64.go#L691: x409, x410 = bits.Add64(x380, x377, uint64(p521Uint1(x408)))
p521_fiat64.go#L692: x411 := (uint64(p521Uint1(x410)) + x378)
p521_fiat64.go#L697: x414, x415 = bits.Add64(x359, x395, uint64(p521Uint1(x413)))
p521_fiat64.go#L700: x416, x417 = bits.Add64(x361, x397, uint64(p521Uint1(x415)))
p521_fiat64.go#L703: x418, x419 = bits.Add64(x363, x399, uint64(p521Uint1(x417)))
p521_fiat64.go#L706: x420, x421 = bits.Add64(x365, x401, uint64(p521Uint1(x419)))
p521_fiat64.go#L709: x422, x423 = bits.Add64(x367, x403, uint64(p521Uint1(x421)))
p521_fiat64.go#L712: x424, x425 = bits.Add64(x369, x405, uint64(p521Uint1(x423)))
p521_fiat64.go#L715: x426, x427 = bits.Add64(x371, x407, uint64(p521Uint1(x425)))
p521_fiat64.go#L718: x428, x429 = bits.Add64(x373, x409, uint64(p521Uint1(x427)))
p521_fiat64.go#L721: x430, x431 = bits.Add64(x375, x411, uint64(p521Uint1(x429)))
p521_fiat64.go#L722: x432 := (uint64(p521Uint1(x431)) + uint64(p521Uint1(x376)))
p521_fiat64.go#L755: x453, x454 = bits.Add64(x448, x445, uint64(p521Uint1(x452)))
p521_fiat64.go#L758: x455, x456 = bits.Add64(x446, x443, uint64(p521Uint1(x454)))
p521_fiat64.go#L761: x457, x458 = bits.Add64(x444, x441, uint64(p521Uint1(x456)))
p521_fiat64.go#L764: x459, x460 = bits.Add64(x442, x439, uint64(p521Uint1(x458)))
p521_fiat64.go#L767: x461, x462 = bits.Add64(x440, x437, uint64(p521Uint1(x460)))
p521_fiat64.go#L770: x463, x464 = bits.Add64(x438, x435, uint64(p521Uint1(x462)))
p521_fiat64.go#L773: x465, x466 = bits.Add64(x436, x433, uint64(p521Uint1(x464)))
p521_fiat64.go#L774: x467 := (uint64(p521Uint1(x466)) + x434)
p521_fiat64.go#L780: x470, x471 = bits.Add64(x416, x451, uint64(p521Uint1(x469)))
p521_fiat64.go#L783: x472, x473 = bits.Add64(x418, x453, uint64(p521Uint1(x471)))
p521_fiat64.go#L786: x474, x475 = bits.Add64(x420, x455, uint64(p521Uint1(x473)))
p521_fiat64.go#L789: x476, x477 = bits.Add64(x422, x457, uint64(p521Uint1(x475)))
p521_fiat64.go#L792: x478, x479 = bits.Add64(x424, x459, uint64(p521Uint1(x477)))
p521_fiat64.go#L795: x480, x481 = bits.Add64(x426, x461, uint64(p521Uint1(x479)))
p521_fiat64.go#L798: x482, x483 = bits.Add64(x428, x463, uint64(p521Uint1(x481)))
p521_fiat64.go#L801: x484, x485 = bits.Add64(x430, x465, uint64(p521Uint1(x483)))
p521_fiat64.go#L804: x486, x487 = bits.Add64(x432, x467, uint64(p521Uint1(x485)))
p521_fiat64.go#L837: x508, x509 = bits.Add64(x503, x500, uint64(p521Uint1(x507)))
p521_fiat64.go#L840: x510, x511 = bits.Add64(x501, x498, uint64(p521Uint1(x509)))
p521_fiat64.go#L843: x512, x513 = bits.Add64(x499, x496, uint64(p521Uint1(x511)))
p521_fiat64.go#L846: x514, x515 = bits.Add64(x497, x494, uint64(p521Uint1(x513)))
p521_fiat64.go#L849: x516, x517 = bits.Add64(x495, x492, uint64(p521Uint1(x515)))
p521_fiat64.go#L852: x518, x519 = bits.Add64(x493, x490, uint64(p521Uint1(x517)))
p521_fiat64.go#L855: x520, x521 = bits.Add64(x491, x488, uint64(p521Uint1(x519)))
p521_fiat64.go#L856: x522 := (uint64(p521Uint1(x521)) + x489)
p521_fiat64.go#L861: x525, x526 = bits.Add64(x470, x506, uint64(p521Uint1(x524)))
p521_fiat64.go#L864: x527, x528 = bits.Add64(x472, x508, uint64(p521Uint1(x526)))
p521_fiat64.go#L867: x529, x530 = bits.Add64(x474, x510, uint64(p521Uint1(x528)))
p521_fiat64.go#L870: x531, x532 = bits.Add64(x476, x512, uint64(p521Uint1(x530)))
p521_fiat64.go#L873: x533, x534 = bits.Add64(x478, x514, uint64(p521Uint1(x532)))
p521_fiat64.go#L876: x535, x536 = bits.Add64(x480, x516, uint64(p521Uint1(x534)))
p521_fiat64.go#L879: x537, x538 = bits.Add64(x482, x518, uint64(p521Uint1(x536)))
p521_fiat64.go#L882: x539, x540 = bits.Add64(x484, x520, uint64(p521Uint1(x538)))
p521_fiat64.go#L885: x541, x542 = bits.Add64(x486, x522, uint64(p521Uint1(x540)))
p521_fiat64.go#L886: x543 := (uint64(p521Uint1(x542)) + uint64(p521Uint1(x487)))
p521_fiat64.go#L919: x564, x565 = bits.Add64(x559, x556, uint64(p521Uint1(x563)))
p521_fiat64.go#L922: x566, x567 = bits.Add64(x557, x554, uint64(p521Uint1(x565)))
p521_fiat64.go#L925: x568, x569 = bits.Add64(x555, x552, uint64(p521Uint1(x567)))
p521_fiat64.go#L928: x570, x571 = bits.Add64(x553, x550, uint64(p521Uint1(x569)))
p521_fiat64.go#L931: x572, x573 = bits.Add64(x551, x548, uint64(p521Uint1(x571)))
p521_fiat64.go#L934: x574, x575 = bits.Add64(x549, x546, uint64(p521Uint1(x573)))
p521_fiat64.go#L937: x576, x577 = bits.Add64(x547, x544, uint64(p521Uint1(x575)))
p521_fiat64.go#L938: x578 := (uint64(p521Uint1(x577)) + x545)
p521_fiat64.go#L944: x581, x582 = bits.Add64(x527, x562, uint64(p521Uint1(x580)))
p521_fiat64.go#L947: x583, x584 = bits.Add64(x529, x564, uint64(p521Uint1(x582)))
p521_fiat64.go#L950: x585, x586 = bits.Add64(x531, x566, uint64(p521Uint1(x584)))
p521_fiat64.go#L953: x587, x588 = bits.Add64(x533, x568, uint64(p521Uint1(x586)))
p521_fiat64.go#L956: x589, x590 = bits.Add64(x535, x570, uint64(p521Uint1(x588)))
p521_fiat64.go#L959: x591, x592 = bits.Add64(x537, x572, uint64(p521Uint1(x590)))
p521_fiat64.go#L962: x593, x594 = bits.Add64(x539, x574, uint64(p521Uint1(x592)))
p521_fiat64.go#L965: x595, x596 = bits.Add64(x541, x576, uint64(p521Uint1(x594)))
p521_fiat64.go#L968: x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
p521_fiat64.go#L1001: x619, x620 = bits.Add64(x614, x611, uint64(p521Uint1(x618)))
p521_fiat64.go#L1004: x621, x622 = bits.Add64(x612, x609, uint64(p521Uint1(x620)))
p521_fiat64.go#L1007: x623, x624 = bits.Add64(x610, x607, uint64(p521Uint1(x622)))
p521_fiat64.go#L1010: x625, x626 = bits.Add64(x608, x605, uint64(p521Uint1(x624)))
p521_fiat64.go#L1013: x627, x628 = bits.Add64(x606, x603, uint64(p521Uint1(x626)))
p521_fiat64.go#L1016: x629, x630 = bits.Add64(x604, x601, uint64(p521Uint1(x628)))
p521_fiat64.go#L1019: x631, x632 = bits.Add64(x602, x599, uint64(p521Uint1(x630)))
p521_fiat64.go#L1020: x633 := (uint64(p521Uint1(x632)) + x600)
p521_fiat64.go#L1025: x636, x637 = bits.Add64(x581, x617, uint64(p521Uint1(x635)))
p521_fiat64.go#L1028: x638, x639 = bits.Add64(x583, x619, uint64(p521Uint1(x637)))
p521_fiat64.go#L1031: x640, x641 = bits.Add64(x585, x621, uint64(p521Uint1(x639)))
p521_fiat64.go#L1034: x642, x643 = bits.Add64(x587, x623, uint64(p521Uint1(x641)))
p521_fiat64.go#L1037: x644, x645 = bits.Add64(x589, x625, uint64(p521Uint1(x643)))
p521_fiat64.go#L1040: x646, x647 = bits.Add64(x591, x627, uint64(p521Uint1(x645)))
p521_fiat64.go#L1043: x648, x649 = bits.Add64(x593, x629, uint64(p521Uint1(x647)))
p521_fiat64.go#L1046: x650, x651 = bits.Add64(x595, x631, uint64(p521Uint1(x649)))
p521_fiat64.go#L1049: x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
p521_fiat64.go#L1050: x654 := (uint64(p521Uint1(x653)) + uint64(p521Uint1(x598)))
p521_fiat64.go#L1083: x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
p521_fiat64.go#L1086: x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
p521_fiat64.go#L1089: x679, x680 = bits.Add64(x666, x663, uint64(p521Uint1(x678)))
p521_fiat64.go#L1092: x681, x682 = bits.Add64(x664, x661, uint64(p521Uint1(x680)))
p521_fiat64.go#L1095: x683, x684 = bits.Add64(x662, x659, uint64(p521Uint1(x682)))
p521_fiat64.go#L1098: x685, x686 = bits.Add64(x660, x657, uint64(p521Uint1(x684)))
p521_fiat64.go#L1101: x687, x688 = bits.Add64(x658, x655, uint64(p521Uint1(x686)))
p521_fiat64.go#L1102: x689 := (uint64(p521Uint1(x688)) + x656)
p521_fiat64.go#L1108: x692, x693 = bits.Add64(x638, x673, uint64(p521Uint1(x691)))
p521_fiat64.go#L1111: x694, x695 = bits.Add64(x640, x675, uint64(p521Uint1(x693)))
p521_fiat64.go#L1114: x696, x697 = bits.Add64(x642, x677, uint64(p521Uint1(x695)))
p521_fiat64.go#L1117: x698, x699 = bits.Add64(x644, x679, uint64(p521Uint1(x697)))
p521_fiat64.go#L1120: x700, x701 = bits.Add64(x646, x681, uint64(p521Uint1(x699)))
p521_fiat64.go#L1123: x702, x703 = bits.Add64(x648, x683, uint64(p521Uint1(x701)))
p521_fiat64.go#L1126: x704, x705 = bits.Add64(x650, x685, uint64(p521Uint1(x703)))
p521_fiat64.go#L1129: x706, x707 = bits.Add64(x652, x687, uint64(p521Uint1(x705)))
p521_fiat64.go#L1132: x708, x709 = bits.Add64(x654, x689, uint64(p521Uint1(x707)))
p521_fiat64.go#L1165: x730, x731 = bits.Add64(x725, x722, uint64(p521Uint1(x729)))
p521_fiat64.go#L1168: x732, x733 = bits.Add64(x723, x720, uint64(p521Uint1(x731)))
p521_fiat64.go#L1171: x734, x735 = bits.Add64(x721, x718, uint64(p521Uint1(x733)))
p521_fiat64.go#L1174: x736, x737 = bits.Add64(x719, x716, uint64(p521Uint1(x735)))
p521_fiat64.go#L1177: x738, x739 = bits.Add64(x717, x714, uint64(p521Uint1(x737)))
p521_fiat64.go#L1180: x740, x741 = bits.Add64(x715, x712, uint64(p521Uint1(x739)))
p521_fiat64.go#L1183: x742, x743 = bits.Add64(x713, x710, uint64(p521Uint1(x741)))
p521_fiat64.go#L1184: x744 := (uint64(p521Uint1(x743)) + x711)
p521_fiat64.go#L1189: x747, x748 = bits.Add64(x692, x728, uint64(p521Uint1(x746)))
p521_fiat64.go#L1192: x749, x750 = bits.Add64(x694, x730, uint64(p521Uint1(x748)))
p521_fiat64.go#L1195: x751, x752 = bits.Add64(x696, x732, uint64(p521Uint1(x750)))
p521_fiat64.go#L1198: x753, x754 = bits.Add64(x698, x734, uint64(p521Uint1(x752)))
p521_fiat64.go#L1201: x755, x756 = bits.Add64(x700, x736, uint64(p521Uint1(x754)))
p521_fiat64.go#L1204: x757, x758 = bits.Add64(x702, x738, uint64(p521Uint1(x756)))
p521_fiat64.go#L1207: x759, x760 = bits.Add64(x704, x740, uint64(p521Uint1(x758)))
p521_fiat64.go#L1210: x761, x762 = bits.Add64(x706, x742, uint64(p521Uint1(x760)))
p521_fiat64.go#L1213: x763, x764 = bits.Add64(x708, x744, uint64(p521Uint1(x762)))
p521_fiat64.go#L1214: x765 := (uint64(p521Uint1(x764)) + uint64(p521Uint1(x709)))
p521_fiat64.go#L1247: x786, x787 = bits.Add64(x781, x778, uint64(p521Uint1(x785)))
p521_fiat64.go#L1250: x788, x789 = bits.Add64(x779, x776, uint64(p521Uint1(x787)))
p521_fiat64.go#L1253: x790, x791 = bits.Add64(x777, x774, uint64(p521Uint1(x789)))
p521_fiat64.go#L1256: x792, x793 = bits.Add64(x775, x772, uint64(p521Uint1(x791)))
p521_fiat64.go#L1259: x794, x795 = bits.Add64(x773, x770, uint64(p521Uint1(x793)))
p521_fiat64.go#L1262: x796, x797 = bits.Add64(x771, x768, uint64(p521Uint1(x795)))
p521_fiat64.go#L1265: x798, x799 = bits.Add64(x769, x766, uint64(p521Uint1(x797)))
p521_fiat64.go#L1266: x800 := (uint64(p521Uint1(x799)) + x767)
p521_fiat64.go#L1272: x803, x804 = bits.Add64(x749, x784, uint64(p521Uint1(x802)))
p521_fiat64.go#L1275: x805, x806 = bits.Add64(x751, x786, uint64(p521Uint1(x804)))
p521_fiat64.go#L1278: x807, x808 = bits.Add64(x753, x788, uint64(p521Uint1(x806)))
p521_fiat64.go#L1281: x809, x810 = bits.Add64(x755, x790, uint64(p521Uint1(x808)))
p521_fiat64.go#L1284: x811, x812 = bits.Add64(x757, x792, uint64(p521Uint1(x810)))
p521_fiat64.go#L1287: x813, x814 = bits.Add64(x759, x794, uint64(p521Uint1(x812)))
p521_fiat64.go#L1290: x815, x816 = bits.Add64(x761, x796, uint64(p521Uint1(x814)))
p521_fiat64.go#L1293: x817, x818 = bits.Add64(x763, x798, uint64(p521Uint1(x816)))
p521_fiat64.go#L1296: x819, x820 = bits.Add64(x765, x800, uint64(p521Uint1(x818)))
p521_fiat64.go#L1329: x841, x842 = bits.Add64(x836, x833, uint64(p521Uint1(x840)))
p521_fiat64.go#L1332: x843, x844 = bits.Add64(x834, x831, uint64(p521Uint1(x842)))
p521_fiat64.go#L1335: x845, x846 = bits.Add64(x832, x829, uint64(p521Uint1(x844)))
p521_fiat64.go#L1338: x847, x848 = bits.Add64(x830, x827, uint64(p521Uint1(x846)))
p521_fiat64.go#L1341: x849, x850 = bits.Add64(x828, x825, uint64(p521Uint1(x848)))
p521_fiat64.go#L1344: x851, x852 = bits.Add64(x826, x823, uint64(p521Uint1(x850)))
p521_fiat64.go#L1347: x853, x854 = bits.Add64(x824, x821, uint64(p521Uint1(x852)))
p521_fiat64.go#L1348: x855 := (uint64(p521Uint1(x854)) + x822)
p521_fiat64.go#L1353: x858, x859 = bits.Add64(x803, x839, uint64(p521Uint1(x857)))
p521_fiat64.go#L1356: x860, x861 = bits.Add64(x805, x841, uint64(p521Uint1(x859)))
p521_fiat64.go#L1359: x862, x863 = bits.Add64(x807, x843, uint64(p521Uint1(x861)))
p521_fiat64.go#L1362: x864, x865 = bits.Add64(x809, x845, uint64(p521Uint1(x863)))
p521_fiat64.go#L1365: x866, x867 = bits.Add64(x811, x847, uint64(p521Uint1(x865)))
p521_fiat64.go#L1368: x868, x869 = bits.Add64(x813, x849, uint64(p521Uint1(x867)))
p521_fiat64.go#L1371: x870, x871 = bits.Add64(x815, x851, uint64(p521Uint1(x869)))
p521_fiat64.go#L1374: x872, x873 = bits.Add64(x817, x853, uint64(p521Uint1(x871)))
p521_fiat64.go#L1377: x874, x875 = bits.Add64(x819, x855, uint64(p521Uint1(x873)))
p521_fiat64.go#L1378: x876 := (uint64(p521Uint1(x875)) + uint64(p521Uint1(x820)))
p521_fiat64.go#L1411: x897, x898 = bits.Add64(x892, x889, uint64(p521Uint1(x896)))
p521_fiat64.go#L1414: x899, x900 = bits.Add64(x890, x887, uint64(p521Uint1(x898)))
p521_fiat64.go#L1417: x901, x902 = bits.Add64(x888, x885, uint64(p521Uint1(x900)))
p521_fiat64.go#L1420: x903, x904 = bits.Add64(x886, x883, uint64(p521Uint1(x902)))
p521_fiat64.go#L1423: x905, x906 = bits.Add64(x884, x881, uint64(p521Uint1(x904)))
p521_fiat64.go#L1426: x907, x908 = bits.Add64(x882, x879, uint64(p521Uint1(x906)))
p521_fiat64.go#L1429: x909, x910 = bits.Add64(x880, x877, uint64(p521Uint1(x908)))
p521_fiat64.go#L1430: x911 := (uint64(p521Uint1(x910)) + x878)
p521_fiat64.go#L1436: x914, x915 = bits.Add64(x860, x895, uint64(p521Uint1(x913)))
p521_fiat64.go#L1439: x916, x917 = bits.Add64(x862, x897, uint64(p521Uint1(x915)))
p521_fiat64.go#L1442: x918, x919 = bits.Add64(x864, x899, uint64(p521Uint1(x917)))
p521_fiat64.go#L1445: x920, x921 = bits.Add64(x866, x901, uint64(p521Uint1(x919)))
p521_fiat64.go#L1448: x922, x923 = bits.Add64(x868, x903, uint64(p521Uint1(x921)))
p521_fiat64.go#L1451: x924, x925 = bits.Add64(x870, x905, uint64(p521Uint1(x923)))
p521_fiat64.go#L1454: x926, x927 = bits.Add64(x872, x907, uint64(p521Uint1(x925)))
p521_fiat64.go#L1457: x928, x929 = bits.Add64(x874, x909, uint64(p521Uint1(x927)))
p521_fiat64.go#L1460: x930, x931 = bits.Add64(x876, x911, uint64(p521Uint1(x929)))
p521_fiat64.go#L1493: x952, x953 = bits.Add64(x947, x944, uint64(p521Uint1(x951)))
p521_fiat64.go#L1496: x954, x955 = bits.Add64(x945, x942, uint64(p521Uint1(x953)))
p521_fiat64.go#L1499: x956, x957 = bits.Add64(x943, x940, uint64(p521Uint1(x955)))
p521_fiat64.go#L1502: x958, x959 = bits.Add64(x941, x938, uint64(p521Uint1(x957)))
p521_fiat64.go#L1505: x960, x961 = bits.Add64(x939, x936, uint64(p521Uint1(x959)))
p521_fiat64.go#L1508: x962, x963 = bits.Add64(x937, x934, uint64(p521Uint1(x961)))
p521_fiat64.go#L1511: x964, x965 = bits.Add64(x935, x932, uint64(p521Uint1(x963)))
p521_fiat64.go#L1512: x966 := (uint64(p521Uint1(x965)) + x933)
p521_fiat64.go#L1517: x969, x970 = bits.Add64(x914, x950, uint64(p521Uint1(x968)))
p521_fiat64.go#L1520: x971, x972 = bits.Add64(x916, x952, uint64(p521Uint1(x970)))
p521_fiat64.go#L1523: x973, x974 = bits.Add64(x918, x954, uint64(p521Uint1(x972)))
p521_fiat64.go#L1526: x975, x976 = bits.Add64(x920, x956, uint64(p521Uint1(x974)))
p521_fiat64.go#L1529: x977, x978 = bits.Add64(x922, x958, uint64(p521Uint1(x976)))
p521_fiat64.go#L1532: x979, x980 = bits.Add64(x924, x960, uint64(p521Uint1(x978)))
p521_fiat64.go#L1535: x981, x982 = bits.Add64(x926, x962, uint64(p521Uint1(x980)))
p521_fiat64.go#L1538: x983, x984 = bits.Add64(x928, x964, uint64(p521Uint1(x982)))
p521_fiat64.go#L1541: x985, x986 = bits.Add64(x930, x966, uint64(p521Uint1(x984)))
p521_fiat64.go#L1542: x987 := (uint64(p521Uint1(x986)) + uint64(p521Uint1(x931)))
p521_fiat64.go#L1548: x990, x991 = bits.Sub64(x971, 0xffffffffffffffff, uint64(p521Uint1(x989)))
p521_fiat64.go#L1551: x992, x993 = bits.Sub64(x973, 0xffffffffffffffff, uint64(p521Uint1(x991)))
p521_fiat64.go#L1554: x994, x995 = bits.Sub64(x975, 0xffffffffffffffff, uint64(p521Uint1(x993)))
p521_fiat64.go#L1557: x996, x997 = bits.Sub64(x977, 0xffffffffffffffff, uint64(p521Uint1(x995)))
p521_fiat64.go#L1560: x998, x999 = bits.Sub64(x979, 0xffffffffffffffff, uint64(p521Uint1(x997)))
p521_fiat64.go#L1563: x1000, x1001 = bits.Sub64(x981, 0xffffffffffffffff, uint64(p521Uint1(x999)))
p521_fiat64.go#L1566: x1002, x1003 = bits.Sub64(x983, 0xffffffffffffffff, uint64(p521Uint1(x1001)))
p521_fiat64.go#L1569: x1004, x1005 = bits.Sub64(x985, 0x1ff, uint64(p521Uint1(x1003)))
p521_fiat64.go#L1571: _, x1007 = bits.Sub64(x987, uint64(0x0), uint64(p521Uint1(x1005)))
p521_fiat64.go#L1573: p521CmovznzU64(&x1008, p521Uint1(x1007), x988, x969)
p521_fiat64.go#L1575: p521CmovznzU64(&x1009, p521Uint1(x1007), x990, x971)
p521_fiat64.go#L1577: p521CmovznzU64(&x1010, p521Uint1(x1007), x992, x973)
p521_fiat64.go#L1579: p521CmovznzU64(&x1011, p521Uint1(x1007), x994, x975)
p521_fiat64.go#L1581: p521CmovznzU64(&x1012, p521Uint1(x1007), x996, x977)
p521_fiat64.go#L1583: p521CmovznzU64(&x1013, p521Uint1(x1007), x998, x979)
p521_fiat64.go#L1585: p521CmovznzU64(&x1014, p521Uint1(x1007), x1000, x981)
p521_fiat64.go#L1587: p521CmovznzU64(&x1015, p521Uint1(x1007), x1002, x983)
p521_fiat64.go#L1589: p521CmovznzU64(&x1016, p521Uint1(x1007), x1004, x985)
p521_fiat64.go#L1653: x30, x31 = bits.Add64(x25, x22, uint64(p521Uint1(x29)))
p521_fiat64.go#L1656: x32, x33 = bits.Add64(x23, x20, uint64(p521Uint1(x31)))
p521_fiat64.go#L1659: x34, x35 = bits.Add64(x21, x18, uint64(p521Uint1(x33)))
p521_fiat64.go#L1662: x36, x37 = bits.Add64(x19, x16, uint64(p521Uint1(x35)))
p521_fiat64.go#L1665: x38, x39 = bits.Add64(x17, x14, uint64(p521Uint1(x37)))
p521_fiat64.go#L1668: x40, x41 = bits.Add64(x15, x12, uint64(p521Uint1(x39)))
p521_fiat64.go#L1671: x42, x43 = bits.Add64(x13, x10, uint64(p521Uint1(x41)))
p521_fiat64.go#L1672: x44 := (uint64(p521Uint1(x43)) + x11)
p521_fiat64.go#L1705: x65, x66 = bits.Add64(x60, x57, uint64(p521Uint1(x64)))
p521_fiat64.go#L1708: x67, x68 = bits.Add64(x58, x55, uint64(p521Uint1(x66)))
p521_fiat64.go#L1711: x69, x70 = bits.Add64(x56, x53, uint64(p521Uint1(x68)))
p521_fiat64.go#L1714: x71, x72 = bits.Add64(x54, x51, uint64(p521Uint1(x70)))
p521_fiat64.go#L1717: x73, x74 = bits.Add64(x52, x49, uint64(p521Uint1(x72)))
p521_fiat64.go#L1720: x75, x76 = bits.Add64(x50, x47, uint64(p521Uint1(x74)))
p521_fiat64.go#L1723: x77, x78 = bits.Add64(x48, x45, uint64(p521Uint1(x76)))
p521_fiat64.go#L1724: x79 := (uint64(p521Uint1(x78)) + x46)
p521_fiat64.go#L1729: x82, x83 = bits.Add64(x28, x63, uint64(p521Uint1(x81)))
p521_fiat64.go#L1732: x84, x85 = bits.Add64(x30, x65, uint64(p521Uint1(x83)))
p521_fiat64.go#L1735: x86, x87 = bits.Add64(x32, x67, uint64(p521Uint1(x85)))
p521_fiat64.go#L1738: x88, x89 = bits.Add64(x34, x69, uint64(p521Uint1(x87)))
p521_fiat64.go#L1741: x90, x91 = bits.Add64(x36, x71, uint64(p521Uint1(x89)))
p521_fiat64.go#L1744: x92, x93 = bits.Add64(x38, x73, uint64(p521Uint1(x91)))
p521_fiat64.go#L1747: x94, x95 = bits.Add64(x40, x75, uint64(p521Uint1(x93)))
p521_fiat64.go#L1750: x96, x97 = bits.Add64(x42, x77, uint64(p521Uint1(x95)))
p521_fiat64.go#L1753: x98, x99 = bits.Add64(x44, x79, uint64(p521Uint1(x97)))
p521_fiat64.go#L1786: x120, x121 = bits.Add64(x115, x112, uint64(p521Uint1(x119)))
p521_fiat64.go#L1789: x122, x123 = bits.Add64(x113, x110, uint64(p521Uint1(x121)))
p521_fiat64.go#L1792: x124, x125 = bits.Add64(x111, x108, uint64(p521Uint1(x123)))
p521_fiat64.go#L1795: x126, x127 = bits.Add64(x109, x106, uint64(p521Uint1(x125)))
p521_fiat64.go#L1798: x128, x129 = bits.Add64(x107, x104, uint64(p521Uint1(x127)))
p521_fiat64.go#L1801: x130, x131 = bits.Add64(x105, x102, uint64(p521Uint1(x129)))
p521_fiat64.go#L1804: x132, x133 = bits.Add64(x103, x100, uint64(p521Uint1(x131)))
p521_fiat64.go#L1805: x134 := (uint64(p521Uint1(x133)) + x101)
p521_fiat64.go#L1811: x137, x138 = bits.Add64(x84, x118, uint64(p521Uint1(x136)))
p521_fiat64.go#L1814: x139, x140 = bits.Add64(x86, x120, uint64(p521Uint1(x138)))
p521_fiat64.go#L1817: x141, x142 = bits.Add64(x88, x122, uint64(p521Uint1(x140)))
p521_fiat64.go#L1820: x143, x144 = bits.Add64(x90, x124, uint64(p521Uint1(x142)))
p521_fiat64.go#L1823: x145, x146 = bits.Add64(x92, x126, uint64(p521Uint1(x144)))
p521_fiat64.go#L1826: x147, x148 = bits.Add64(x94, x128, uint64(p521Uint1(x146)))
p521_fiat64.go#L1829: x149, x150 = bits.Add64(x96, x130, uint64(p521Uint1(x148)))
p521_fiat64.go#L1832: x151, x152 = bits.Add64(x98, x132, uint64(p521Uint1(x150)))
p521_fiat64.go#L1835: x153, x154 = bits.Add64(uint64(p521Uint1(x99)), x134, uint64(p521Uint1(x152)))
p521_fiat64.go#L1868: x175, x176 = bits.Add64(x170, x167, uint64(p521Uint1(x174)))
p521_fiat64.go#L1871: x177, x178 = bits.Add64(x168, x165, uint64(p521Uint1(x176)))
p521_fiat64.go#L1874: x179, x180 = bits.Add64(x166, x163, uint64(p521Uint1(x178)))
p521_fiat64.go#L1877: x181, x182 = bits.Add64(x164, x161, uint64(p521Uint1(x180)))
p521_fiat64.go#L1880: x183, x184 = bits.Add64(x162, x159, uint64(p521Uint1(x182)))
p521_fiat64.go#L1883: x185, x186 = bits.Add64(x160, x157, uint64(p521Uint1(x184)))
p521_fiat64.go#L1886: x187, x188 = bits.Add64(x158, x155, uint64(p521Uint1(x186)))
p521_fiat64.go#L1887: x189 := (uint64(p521Uint1(x188)) + x156)
p521_fiat64.go#L1892: x192, x193 = bits.Add64(x137, x173, uint64(p521Uint1(x191)))
p521_fiat64.go#L1895: x194, x195 = bits.Add64(x139, x175, uint64(p521Uint1(x193)))
p521_fiat64.go#L1898: x196, x197 = bits.Add64(x141, x177, uint64(p521Uint1(x195)))
p521_fiat64.go#L1901: x198, x199 = bits.Add64(x143, x179, uint64(p521Uint1(x197)))
p521_fiat64.go#L1904: x200, x201 = bits.Add64(x145, x181, uint64(p521Uint1(x199)))
p521_fiat64.go#L1907: x202, x203 = bits.Add64(x147, x183, uint64(p521Uint1(x201)))
p521_fiat64.go#L1910: x204, x205 = bits.Add64(x149, x185, uint64(p521Uint1(x203)))
p521_fiat64.go#L1913: x206, x207 = bits.Add64(x151, x187, uint64(p521Uint1(x205)))
p521_fiat64.go#L1916: x208, x209 = bits.Add64(x153, x189, uint64(p521Uint1(x207)))
p521_fiat64.go#L1917: x210 := (uint64(p521Uint1(x209)) + uint64(p521Uint1(x154)))
p521_fiat64.go#L1950: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L1953: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L1956: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L1959: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L1962: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L1965: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L1968: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L1969: x245 := (uint64(p521Uint1(x244)) + x212)
p521_fiat64.go#L1975: x248, x249 = bits.Add64(x194, x229, uint64(p521Uint1(x247)))
p521_fiat64.go#L1978: x250, x251 = bits.Add64(x196, x231, uint64(p521Uint1(x249)))
p521_fiat64.go#L1981: x252, x253 = bits.Add64(x198, x233, uint64(p521Uint1(x251)))
p521_fiat64.go#L1984: x254, x255 = bits.Add64(x200, x235, uint64(p521Uint1(x253)))
p521_fiat64.go#L1987: x256, x257 = bits.Add64(x202, x237, uint64(p521Uint1(x255)))
p521_fiat64.go#L1990: x258, x259 = bits.Add64(x204, x239, uint64(p521Uint1(x257)))
p521_fiat64.go#L1993: x260, x261 = bits.Add64(x206, x241, uint64(p521Uint1(x259)))
p521_fiat64.go#L1996: x262, x263 = bits.Add64(x208, x243, uint64(p521Uint1(x261)))
p521_fiat64.go#L1999: x264, x265 = bits.Add64(x210, x245, uint64(p521Uint1(x263)))
p521_fiat64.go#L2032: x286, x287 = bits.Add64(x281, x278, uint64(p521Uint1(x285)))
p521_fiat64.go#L2035: x288, x289 = bits.Add64(x279, x276, uint64(p521Uint1(x287)))
p521_fiat64.go#L2038: x290, x291 = bits.Add64(x277, x274, uint64(p521Uint1(x289)))
p521_fiat64.go#L2041: x292, x293 = bits.Add64(x275, x272, uint64(p521Uint1(x291)))
p521_fiat64.go#L2044: x294, x295 = bits.Add64(x273, x270, uint64(p521Uint1(x293)))
p521_fiat64.go#L2047: x296, x297 = bits.Add64(x271, x268, uint64(p521Uint1(x295)))
p521_fiat64.go#L2050: x298, x299 = bits.Add64(x269, x266, uint64(p521Uint1(x297)))
p521_fiat64.go#L2051: x300 := (uint64(p521Uint1(x299)) + x267)
p521_fiat64.go#L2056: x303, x304 = bits.Add64(x248, x284, uint64(p521Uint1(x302)))
p521_fiat64.go#L2059: x305, x306 = bits.Add64(x250, x286, uint64(p521Uint1(x304)))
p521_fiat64.go#L2062: x307, x308 = bits.Add64(x252, x288, uint64(p521Uint1(x306)))
p521_fiat64.go#L2065: x309, x310 = bits.Add64(x254, x290, uint64(p521Uint1(x308)))
p521_fiat64.go#L2068: x311, x312 = bits.Add64(x256, x292, uint64(p521Uint1(x310)))
p521_fiat64.go#L2071: x313, x314 = bits.Add64(x258, x294, uint64(p521Uint1(x312)))
p521_fiat64.go#L2074: x315, x316 = bits.Add64(x260, x296, uint64(p521Uint1(x314)))
p521_fiat64.go#L2077: x317, x318 = bits.Add64(x262, x298, uint64(p521Uint1(x316)))
p521_fiat64.go#L2080: x319, x320 = bits.Add64(x264, x300, uint64(p521Uint1(x318)))
p521_fiat64.go#L2081: x321 := (uint64(p521Uint1(x320)) + uint64(p521Uint1(x265)))
p521_fiat64.go#L2114: x342, x343 = bits.Add64(x337, x334, uint64(p521Uint1(x341)))
p521_fiat64.go#L2117: x344, x345 = bits.Add64(x335, x332, uint64(p521Uint1(x343)))
p521_fiat64.go#L2120: x346, x347 = bits.Add64(x333, x330, uint64(p521Uint1(x345)))
p521_fiat64.go#L2123: x348, x349 = bits.Add64(x331, x328, uint64(p521Uint1(x347)))
p521_fiat64.go#L2126: x350, x351 = bits.Add64(x329, x326, uint64(p521Uint1(x349)))
p521_fiat64.go#L2129: x352, x353 = bits.Add64(x327, x324, uint64(p521Uint1(x351)))
p521_fiat64.go#L2132: x354, x355 = bits.Add64(x325, x322, uint64(p521Uint1(x353)))
p521_fiat64.go#L2133: x356 := (uint64(p521Uint1(x355)) + x323)
p521_fiat64.go#L2139: x359, x360 = bits.Add64(x305, x340, uint64(p521Uint1(x358)))
p521_fiat64.go#L2142: x361, x362 = bits.Add64(x307, x342, uint64(p521Uint1(x360)))
p521_fiat64.go#L2145: x363, x364 = bits.Add64(x309, x344, uint64(p521Uint1(x362)))
p521_fiat64.go#L2148: x365, x366 = bits.Add64(x311, x346, uint64(p521Uint1(x364)))
p521_fiat64.go#L2151: x367, x368 = bits.Add64(x313, x348, uint64(p521Uint1(x366)))
p521_fiat64.go#L2154: x369, x370 = bits.Add64(x315, x350, uint64(p521Uint1(x368)))
p521_fiat64.go#L2157: x371, x372 = bits.Add64(x317, x352, uint64(p521Uint1(x370)))
p521_fiat64.go#L2160: x373, x374 = bits.Add64(x319, x354, uint64(p521Uint1(x372)))
p521_fiat64.go#L2163: x375, x376 = bits.Add64(x321, x356, uint64(p521Uint1(x374)))
p521_fiat64.go#L2196: x397, x398 = bits.Add64(x392, x389, uint64(p521Uint1(x396)))
p521_fiat64.go#L2199: x399, x400 = bits.Add64(x390, x387, uint64(p521Uint1(x398)))
p521_fiat64.go#L2202: x401, x402 = bits.Add64(x388, x385, uint64(p521Uint1(x400)))
p521_fiat64.go#L2205: x403, x404 = bits.Add64(x386, x383, uint64(p521Uint1(x402)))
p521_fiat64.go#L2208: x405, x406 = bits.Add64(x384, x381, uint64(p521Uint1(x404)))
p521_fiat64.go#L2211: x407, x408 = bits.Add64(x382, x379, uint64(p521Uint1(x406)))
p521_fiat64.go#L2214: x409, x410 = bits.Add64(x380, x377, uint64(p521Uint1(x408)))
p521_fiat64.go#L2215: x411 := (uint64(p521Uint1(x410)) + x378)
p521_fiat64.go#L2220: x414, x415 = bits.Add64(x359, x395, uint64(p521Uint1(x413)))
p521_fiat64.go#L2223: x416, x417 = bits.Add64(x361, x397, uint64(p521Uint1(x415)))
p521_fiat64.go#L2226: x418, x419 = bits.Add64(x363, x399, uint64(p521Uint1(x417)))
p521_fiat64.go#L2229: x420, x421 = bits.Add64(x365, x401, uint64(p521Uint1(x419)))
p521_fiat64.go#L2232: x422, x423 = bits.Add64(x367, x403, uint64(p521Uint1(x421)))
p521_fiat64.go#L2235: x424, x425 = bits.Add64(x369, x405, uint64(p521Uint1(x423)))
p521_fiat64.go#L2238: x426, x427 = bits.Add64(x371, x407, uint64(p521Uint1(x425)))
p521_fiat64.go#L2241: x428, x429 = bits.Add64(x373, x409, uint64(p521Uint1(x427)))
p521_fiat64.go#L2244: x430, x431 = bits.Add64(x375, x411, uint64(p521Uint1(x429)))
p521_fiat64.go#L2245: x432 := (uint64(p521Uint1(x431)) + uint64(p521Uint1(x376)))
p521_fiat64.go#L2278: x453, x454 = bits.Add64(x448, x445, uint64(p521Uint1(x452)))
p521_fiat64.go#L2281: x455, x456 = bits.Add64(x446, x443, uint64(p521Uint1(x454)))
p521_fiat64.go#L2284: x457, x458 = bits.Add64(x444, x441, uint64(p521Uint1(x456)))
p521_fiat64.go#L2287: x459, x460 = bits.Add64(x442, x439, uint64(p521Uint1(x458)))
p521_fiat64.go#L2290: x461, x462 = bits.Add64(x440, x437, uint64(p521Uint1(x460)))
p521_fiat64.go#L2293: x463, x464 = bits.Add64(x438, x435, uint64(p521Uint1(x462)))
p521_fiat64.go#L2296: x465, x466 = bits.Add64(x436, x433, uint64(p521Uint1(x464)))
p521_fiat64.go#L2297: x467 := (uint64(p521Uint1(x466)) + x434)
p521_fiat64.go#L2303: x470, x471 = bits.Add64(x416, x451, uint64(p521Uint1(x469)))
p521_fiat64.go#L2306: x472, x473 = bits.Add64(x418, x453, uint64(p521Uint1(x471)))
p521_fiat64.go#L2309: x474, x475 = bits.Add64(x420, x455, uint64(p521Uint1(x473)))
p521_fiat64.go#L2312: x476, x477 = bits.Add64(x422, x457, uint64(p521Uint1(x475)))
p521_fiat64.go#L2315: x478, x479 = bits.Add64(x424, x459, uint64(p521Uint1(x477)))
p521_fiat64.go#L2318: x480, x481 = bits.Add64(x426, x461, uint64(p521Uint1(x479)))
p521_fiat64.go#L2321: x482, x483 = bits.Add64(x428, x463, uint64(p521Uint1(x481)))
p521_fiat64.go#L2324: x484, x485 = bits.Add64(x430, x465, uint64(p521Uint1(x483)))
p521_fiat64.go#L2327: x486, x487 = bits.Add64(x432, x467, uint64(p521Uint1(x485)))
p521_fiat64.go#L2360: x508, x509 = bits.Add64(x503, x500, uint64(p521Uint1(x507)))
p521_fiat64.go#L2363: x510, x511 = bits.Add64(x501, x498, uint64(p521Uint1(x509)))
p521_fiat64.go#L2366: x512, x513 = bits.Add64(x499, x496, uint64(p521Uint1(x511)))
p521_fiat64.go#L2369: x514, x515 = bits.Add64(x497, x494, uint64(p521Uint1(x513)))
p521_fiat64.go#L2372: x516, x517 = bits.Add64(x495, x492, uint64(p521Uint1(x515)))
p521_fiat64.go#L2375: x518, x519 = bits.Add64(x493, x490, uint64(p521Uint1(x517)))
p521_fiat64.go#L2378: x520, x521 = bits.Add64(x491, x488, uint64(p521Uint1(x519)))
p521_fiat64.go#L2379: x522 := (uint64(p521Uint1(x521)) + x489)
p521_fiat64.go#L2384: x525, x526 = bits.Add64(x470, x506, uint64(p521Uint1(x524)))
p521_fiat64.go#L2387: x527, x528 = bits.Add64(x472, x508, uint64(p521Uint1(x526)))
p521_fiat64.go#L2390: x529, x530 = bits.Add64(x474, x510, uint64(p521Uint1(x528)))
p521_fiat64.go#L2393: x531, x532 = bits.Add64(x476, x512, uint64(p521Uint1(x530)))
p521_fiat64.go#L2396: x533, x534 = bits.Add64(x478, x514, uint64(p521Uint1(x532)))
p521_fiat64.go#L2399: x535, x536 = bits.Add64(x480, x516, uint64(p521Uint1(x534)))
p521_fiat64.go#L2402: x537, x538 = bits.Add64(x482, x518, uint64(p521Uint1(x536)))
p521_fiat64.go#L2405: x539, x540 = bits.Add64(x484, x520, uint64(p521Uint1(x538)))
p521_fiat64.go#L2408: x541, x542 = bits.Add64(x486, x522, uint64(p521Uint1(x540)))
p521_fiat64.go#L2409: x543 := (uint64(p521Uint1(x542)) + uint64(p521Uint1(x487)))
p521_fiat64.go#L2442: x564, x565 = bits.Add64(x559, x556, uint64(p521Uint1(x563)))
p521_fiat64.go#L2445: x566, x567 = bits.Add64(x557, x554, uint64(p521Uint1(x565)))
p521_fiat64.go#L2448: x568, x569 = bits.Add64(x555, x552, uint64(p521Uint1(x567)))
p521_fiat64.go#L2451: x570, x571 = bits.Add64(x553, x550, uint64(p521Uint1(x569)))
p521_fiat64.go#L2454: x572, x573 = bits.Add64(x551, x548, uint64(p521Uint1(x571)))
p521_fiat64.go#L2457: x574, x575 = bits.Add64(x549, x546, uint64(p521Uint1(x573)))
p521_fiat64.go#L2460: x576, x577 = bits.Add64(x547, x544, uint64(p521Uint1(x575)))
p521_fiat64.go#L2461: x578 := (uint64(p521Uint1(x577)) + x545)
p521_fiat64.go#L2467: x581, x582 = bits.Add64(x527, x562, uint64(p521Uint1(x580)))
p521_fiat64.go#L2470: x583, x584 = bits.Add64(x529, x564, uint64(p521Uint1(x582)))
p521_fiat64.go#L2473: x585, x586 = bits.Add64(x531, x566, uint64(p521Uint1(x584)))
p521_fiat64.go#L2476: x587, x588 = bits.Add64(x533, x568, uint64(p521Uint1(x586)))
p521_fiat64.go#L2479: x589, x590 = bits.Add64(x535, x570, uint64(p521Uint1(x588)))
p521_fiat64.go#L2482: x591, x592 = bits.Add64(x537, x572, uint64(p521Uint1(x590)))
p521_fiat64.go#L2485: x593, x594 = bits.Add64(x539, x574, uint64(p521Uint1(x592)))
p521_fiat64.go#L2488: x595, x596 = bits.Add64(x541, x576, uint64(p521Uint1(x594)))
p521_fiat64.go#L2491: x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
p521_fiat64.go#L2524: x619, x620 = bits.Add64(x614, x611, uint64(p521Uint1(x618)))
p521_fiat64.go#L2527: x621, x622 = bits.Add64(x612, x609, uint64(p521Uint1(x620)))
p521_fiat64.go#L2530: x623, x624 = bits.Add64(x610, x607, uint64(p521Uint1(x622)))
p521_fiat64.go#L2533: x625, x626 = bits.Add64(x608, x605, uint64(p521Uint1(x624)))
p521_fiat64.go#L2536: x627, x628 = bits.Add64(x606, x603, uint64(p521Uint1(x626)))
p521_fiat64.go#L2539: x629, x630 = bits.Add64(x604, x601, uint64(p521Uint1(x628)))
p521_fiat64.go#L2542: x631, x632 = bits.Add64(x602, x599, uint64(p521Uint1(x630)))
p521_fiat64.go#L2543: x633 := (uint64(p521Uint1(x632)) + x600)
p521_fiat64.go#L2548: x636, x637 = bits.Add64(x581, x617, uint64(p521Uint1(x635)))
p521_fiat64.go#L2551: x638, x639 = bits.Add64(x583, x619, uint64(p521Uint1(x637)))
p521_fiat64.go#L2554: x640, x641 = bits.Add64(x585, x621, uint64(p521Uint1(x639)))
p521_fiat64.go#L2557: x642, x643 = bits.Add64(x587, x623, uint64(p521Uint1(x641)))
p521_fiat64.go#L2560: x644, x645 = bits.Add64(x589, x625, uint64(p521Uint1(x643)))
p521_fiat64.go#L2563: x646, x647 = bits.Add64(x591, x627, uint64(p521Uint1(x645)))
p521_fiat64.go#L2566: x648, x649 = bits.Add64(x593, x629, uint64(p521Uint1(x647)))
p521_fiat64.go#L2569: x650, x651 = bits.Add64(x595, x631, uint64(p521Uint1(x649)))
p521_fiat64.go#L2572: x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
p521_fiat64.go#L2573: x654 := (uint64(p521Uint1(x653)) + uint64(p521Uint1(x598)))
p521_fiat64.go#L2606: x675, x676 = bits.Add64(x670, x667, uint64(p521Uint1(x674)))
p521_fiat64.go#L2609: x677, x678 = bits.Add64(x668, x665, uint64(p521Uint1(x676)))
p521_fiat64.go#L2612: x679, x680 = bits.Add64(x666, x663, uint64(p521Uint1(x678)))
p521_fiat64.go#L2615: x681, x682 = bits.Add64(x664, x661, uint64(p521Uint1(x680)))
p521_fiat64.go#L2618: x683, x684 = bits.Add64(x662, x659, uint64(p521Uint1(x682)))
p521_fiat64.go#L2621: x685, x686 = bits.Add64(x660, x657, uint64(p521Uint1(x684)))
p521_fiat64.go#L2624: x687, x688 = bits.Add64(x658, x655, uint64(p521Uint1(x686)))
p521_fiat64.go#L2625: x689 := (uint64(p521Uint1(x688)) + x656)
p521_fiat64.go#L2631: x692, x693 = bits.Add64(x638, x673, uint64(p521Uint1(x691)))
p521_fiat64.go#L2634: x694, x695 = bits.Add64(x640, x675, uint64(p521Uint1(x693)))
p521_fiat64.go#L2637: x696, x697 = bits.Add64(x642, x677, uint64(p521Uint1(x695)))
p521_fiat64.go#L2640: x698, x699 = bits.Add64(x644, x679, uint64(p521Uint1(x697)))
p521_fiat64.go#L2643: x700, x701 = bits.Add64(x646, x681, uint64(p521Uint1(x699)))
p521_fiat64.go#L2646: x702, x703 = bits.Add64(x648, x683, uint64(p521Uint1(x701)))
p521_fiat64.go#L2649: x704, x705 = bits.Add64(x650, x685, uint64(p521Uint1(x703)))
p521_fiat64.go#L2652: x706, x707 = bits.Add64(x652, x687, uint64(p521Uint1(x705)))
p521_fiat64.go#L2655: x708, x709 = bits.Add64(x654, x689, uint64(p521Uint1(x707)))
p521_fiat64.go#L2688: x730, x731 = bits.Add64(x725, x722, uint64(p521Uint1(x729)))
p521_fiat64.go#L2691: x732, x733 = bits.Add64(x723, x720, uint64(p521Uint1(x731)))
p521_fiat64.go#L2694: x734, x735 = bits.Add64(x721, x718, uint64(p521Uint1(x733)))
p521_fiat64.go#L2697: x736, x737 = bits.Add64(x719, x716, uint64(p521Uint1(x735)))
p521_fiat64.go#L2700: x738, x739 = bits.Add64(x717, x714, uint64(p521Uint1(x737)))
p521_fiat64.go#L2703: x740, x741 = bits.Add64(x715, x712, uint64(p521Uint1(x739)))
p521_fiat64.go#L2706: x742, x743 = bits.Add64(x713, x710, uint64(p521Uint1(x741)))
p521_fiat64.go#L2707: x744 := (uint64(p521Uint1(x743)) + x711)
p521_fiat64.go#L2712: x747, x748 = bits.Add64(x692, x728, uint64(p521Uint1(x746)))
p521_fiat64.go#L2715: x749, x750 = bits.Add64(x694, x730, uint64(p521Uint1(x748)))
p521_fiat64.go#L2718: x751, x752 = bits.Add64(x696, x732, uint64(p521Uint1(x750)))
p521_fiat64.go#L2721: x753, x754 = bits.Add64(x698, x734, uint64(p521Uint1(x752)))
p521_fiat64.go#L2724: x755, x756 = bits.Add64(x700, x736, uint64(p521Uint1(x754)))
p521_fiat64.go#L2727: x757, x758 = bits.Add64(x702, x738, uint64(p521Uint1(x756)))
p521_fiat64.go#L2730: x759, x760 = bits.Add64(x704, x740, uint64(p521Uint1(x758)))
p521_fiat64.go#L2733: x761, x762 = bits.Add64(x706, x742, uint64(p521Uint1(x760)))
p521_fiat64.go#L2736: x763, x764 = bits.Add64(x708, x744, uint64(p521Uint1(x762)))
p521_fiat64.go#L2737: x765 := (uint64(p521Uint1(x764)) + uint64(p521Uint1(x709)))
p521_fiat64.go#L2770: x786, x787 = bits.Add64(x781, x778, uint64(p521Uint1(x785)))
p521_fiat64.go#L2773: x788, x789 = bits.Add64(x779, x776, uint64(p521Uint1(x787)))
p521_fiat64.go#L2776: x790, x791 = bits.Add64(x777, x774, uint64(p521Uint1(x789)))
p521_fiat64.go#L2779: x792, x793 = bits.Add64(x775, x772, uint64(p521Uint1(x791)))
p521_fiat64.go#L2782: x794, x795 = bits.Add64(x773, x770, uint64(p521Uint1(x793)))
p521_fiat64.go#L2785: x796, x797 = bits.Add64(x771, x768, uint64(p521Uint1(x795)))
p521_fiat64.go#L2788: x798, x799 = bits.Add64(x769, x766, uint64(p521Uint1(x797)))
p521_fiat64.go#L2789: x800 := (uint64(p521Uint1(x799)) + x767)
p521_fiat64.go#L2795: x803, x804 = bits.Add64(x749, x784, uint64(p521Uint1(x802)))
p521_fiat64.go#L2798: x805, x806 = bits.Add64(x751, x786, uint64(p521Uint1(x804)))
p521_fiat64.go#L2801: x807, x808 = bits.Add64(x753, x788, uint64(p521Uint1(x806)))
p521_fiat64.go#L2804: x809, x810 = bits.Add64(x755, x790, uint64(p521Uint1(x808)))
p521_fiat64.go#L2807: x811, x812 = bits.Add64(x757, x792, uint64(p521Uint1(x810)))
p521_fiat64.go#L2810: x813, x814 = bits.Add64(x759, x794, uint64(p521Uint1(x812)))
p521_fiat64.go#L2813: x815, x816 = bits.Add64(x761, x796, uint64(p521Uint1(x814)))
p521_fiat64.go#L2816: x817, x818 = bits.Add64(x763, x798, uint64(p521Uint1(x816)))
p521_fiat64.go#L2819: x819, x820 = bits.Add64(x765, x800, uint64(p521Uint1(x818)))
p521_fiat64.go#L2852: x841, x842 = bits.Add64(x836, x833, uint64(p521Uint1(x840)))
p521_fiat64.go#L2855: x843, x844 = bits.Add64(x834, x831, uint64(p521Uint1(x842)))
p521_fiat64.go#L2858: x845, x846 = bits.Add64(x832, x829, uint64(p521Uint1(x844)))
p521_fiat64.go#L2861: x847, x848 = bits.Add64(x830, x827, uint64(p521Uint1(x846)))
p521_fiat64.go#L2864: x849, x850 = bits.Add64(x828, x825, uint64(p521Uint1(x848)))
p521_fiat64.go#L2867: x851, x852 = bits.Add64(x826, x823, uint64(p521Uint1(x850)))
p521_fiat64.go#L2870: x853, x854 = bits.Add64(x824, x821, uint64(p521Uint1(x852)))
p521_fiat64.go#L2871: x855 := (uint64(p521Uint1(x854)) + x822)
p521_fiat64.go#L2876: x858, x859 = bits.Add64(x803, x839, uint64(p521Uint1(x857)))
p521_fiat64.go#L2879: x860, x861 = bits.Add64(x805, x841, uint64(p521Uint1(x859)))
p521_fiat64.go#L2882: x862, x863 = bits.Add64(x807, x843, uint64(p521Uint1(x861)))
p521_fiat64.go#L2885: x864, x865 = bits.Add64(x809, x845, uint64(p521Uint1(x863)))
p521_fiat64.go#L2888: x866, x867 = bits.Add64(x811, x847, uint64(p521Uint1(x865)))
p521_fiat64.go#L2891: x868, x869 = bits.Add64(x813, x849, uint64(p521Uint1(x867)))
p521_fiat64.go#L2894: x870, x871 = bits.Add64(x815, x851, uint64(p521Uint1(x869)))
p521_fiat64.go#L2897: x872, x873 = bits.Add64(x817, x853, uint64(p521Uint1(x871)))
p521_fiat64.go#L2900: x874, x875 = bits.Add64(x819, x855, uint64(p521Uint1(x873)))
p521_fiat64.go#L2901: x876 := (uint64(p521Uint1(x875)) + uint64(p521Uint1(x820)))
p521_fiat64.go#L2934: x897, x898 = bits.Add64(x892, x889, uint64(p521Uint1(x896)))
p521_fiat64.go#L2937: x899, x900 = bits.Add64(x890, x887, uint64(p521Uint1(x898)))
p521_fiat64.go#L2940: x901, x902 = bits.Add64(x888, x885, uint64(p521Uint1(x900)))
p521_fiat64.go#L2943: x903, x904 = bits.Add64(x886, x883, uint64(p521Uint1(x902)))
p521_fiat64.go#L2946: x905, x906 = bits.Add64(x884, x881, uint64(p521Uint1(x904)))
p521_fiat64.go#L2949: x907, x908 = bits.Add64(x882, x879, uint64(p521Uint1(x906)))
p521_fiat64.go#L2952: x909, x910 = bits.Add64(x880, x877, uint64(p521Uint1(x908)))
p521_fiat64.go#L2953: x911 := (uint64(p521Uint1(x910)) + x878)
p521_fiat64.go#L2959: x914, x915 = bits.Add64(x860, x895, uint64(p521Uint1(x913)))
p521_fiat64.go#L2962: x916, x917 = bits.Add64(x862, x897, uint64(p521Uint1(x915)))
p521_fiat64.go#L2965: x918, x919 = bits.Add64(x864, x899, uint64(p521Uint1(x917)))
p521_fiat64.go#L2968: x920, x921 = bits.Add64(x866, x901, uint64(p521Uint1(x919)))
p521_fiat64.go#L2971: x922, x923 = bits.Add64(x868, x903, uint64(p521Uint1(x921)))
p521_fiat64.go#L2974: x924, x925 = bits.Add64(x870, x905, uint64(p521Uint1(x923)))
p521_fiat64.go#L2977: x926, x927 = bits.Add64(x872, x907, uint64(p521Uint1(x925)))
p521_fiat64.go#L2980: x928, x929 = bits.Add64(x874, x909, uint64(p521Uint1(x927)))
p521_fiat64.go#L2983: x930, x931 = bits.Add64(x876, x911, uint64(p521Uint1(x929)))
p521_fiat64.go#L3016: x952, x953 = bits.Add64(x947, x944, uint64(p521Uint1(x951)))
p521_fiat64.go#L3019: x954, x955 = bits.Add64(x945, x942, uint64(p521Uint1(x953)))
p521_fiat64.go#L3022: x956, x957 = bits.Add64(x943, x940, uint64(p521Uint1(x955)))
p521_fiat64.go#L3025: x958, x959 = bits.Add64(x941, x938, uint64(p521Uint1(x957)))
p521_fiat64.go#L3028: x960, x961 = bits.Add64(x939, x936, uint64(p521Uint1(x959)))
p521_fiat64.go#L3031: x962, x963 = bits.Add64(x937, x934, uint64(p521Uint1(x961)))
p521_fiat64.go#L3034: x964, x965 = bits.Add64(x935, x932, uint64(p521Uint1(x963)))
p521_fiat64.go#L3035: x966 := (uint64(p521Uint1(x965)) + x933)
p521_fiat64.go#L3040: x969, x970 = bits.Add64(x914, x950, uint64(p521Uint1(x968)))
p521_fiat64.go#L3043: x971, x972 = bits.Add64(x916, x952, uint64(p521Uint1(x970)))
p521_fiat64.go#L3046: x973, x974 = bits.Add64(x918, x954, uint64(p521Uint1(x972)))
p521_fiat64.go#L3049: x975, x976 = bits.Add64(x920, x956, uint64(p521Uint1(x974)))
p521_fiat64.go#L3052: x977, x978 = bits.Add64(x922, x958, uint64(p521Uint1(x976)))
p521_fiat64.go#L3055: x979, x980 = bits.Add64(x924, x960, uint64(p521Uint1(x978)))
p521_fiat64.go#L3058: x981, x982 = bits.Add64(x926, x962, uint64(p521Uint1(x980)))
p521_fiat64.go#L3061: x983, x984 = bits.Add64(x928, x964, uint64(p521Uint1(x982)))
p521_fiat64.go#L3064: x985, x986 = bits.Add64(x930, x966, uint64(p521Uint1(x984)))
p521_fiat64.go#L3065: x987 := (uint64(p521Uint1(x986)) + uint64(p521Uint1(x931)))
p521_fiat64.go#L3071: x990, x991 = bits.Sub64(x971, 0xffffffffffffffff, uint64(p521Uint1(x989)))
p521_fiat64.go#L3074: x992, x993 = bits.Sub64(x973, 0xffffffffffffffff, uint64(p521Uint1(x991)))
p521_fiat64.go#L3077: x994, x995 = bits.Sub64(x975, 0xffffffffffffffff, uint64(p521Uint1(x993)))
p521_fiat64.go#L3080: x996, x997 = bits.Sub64(x977, 0xffffffffffffffff, uint64(p521Uint1(x995)))
p521_fiat64.go#L3083: x998, x999 = bits.Sub64(x979, 0xffffffffffffffff, uint64(p521Uint1(x997)))
p521_fiat64.go#L3086: x1000, x1001 = bits.Sub64(x981, 0xffffffffffffffff, uint64(p521Uint1(x999)))
p521_fiat64.go#L3089: x1002, x1003 = bits.Sub64(x983, 0xffffffffffffffff, uint64(p521Uint1(x1001)))
p521_fiat64.go#L3092: x1004, x1005 = bits.Sub64(x985, 0x1ff, uint64(p521Uint1(x1003)))
p521_fiat64.go#L3094: _, x1007 = bits.Sub64(x987, uint64(0x0), uint64(p521Uint1(x1005)))
p521_fiat64.go#L3096: p521CmovznzU64(&x1008, p521Uint1(x1007), x988, x969)
p521_fiat64.go#L3098: p521CmovznzU64(&x1009, p521Uint1(x1007), x990, x971)
p521_fiat64.go#L3100: p521CmovznzU64(&x1010, p521Uint1(x1007), x992, x973)
p521_fiat64.go#L3102: p521CmovznzU64(&x1011, p521Uint1(x1007), x994, x975)
p521_fiat64.go#L3104: p521CmovznzU64(&x1012, p521Uint1(x1007), x996, x977)
p521_fiat64.go#L3106: p521CmovznzU64(&x1013, p521Uint1(x1007), x998, x979)
p521_fiat64.go#L3108: p521CmovznzU64(&x1014, p521Uint1(x1007), x1000, x981)
p521_fiat64.go#L3110: p521CmovznzU64(&x1015, p521Uint1(x1007), x1002, x983)
p521_fiat64.go#L3112: p521CmovznzU64(&x1016, p521Uint1(x1007), x1004, x985)
p521_fiat64.go#L3141: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(p521Uint1(x2)))
p521_fiat64.go#L3144: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(p521Uint1(x4)))
p521_fiat64.go#L3147: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(p521Uint1(x6)))
p521_fiat64.go#L3150: x9, x10 = bits.Add64(arg1[4], arg2[4], uint64(p521Uint1(x8)))
p521_fiat64.go#L3153: x11, x12 = bits.Add64(arg1[5], arg2[5], uint64(p521Uint1(x10)))
p521_fiat64.go#L3156: x13, x14 = bits.Add64(arg1[6], arg2[6], uint64(p521Uint1(x12)))
p521_fiat64.go#L3159: x15, x16 = bits.Add64(arg1[7], arg2[7], uint64(p521Uint1(x14)))
p521_fiat64.go#L3162: x17, x18 = bits.Add64(arg1[8], arg2[8], uint64(p521Uint1(x16)))
p521_fiat64.go#L3168: x21, x22 = bits.Sub64(x3, 0xffffffffffffffff, uint64(p521Uint1(x20)))
p521_fiat64.go#L3171: x23, x24 = bits.Sub64(x5, 0xffffffffffffffff, uint64(p521Uint1(x22)))
p521_fiat64.go#L3174: x25, x26 = bits.Sub64(x7, 0xffffffffffffffff, uint64(p521Uint1(x24)))
p521_fiat64.go#L3177: x27, x28 = bits.Sub64(x9, 0xffffffffffffffff, uint64(p521Uint1(x26)))
p521_fiat64.go#L3180: x29, x30 = bits.Sub64(x11, 0xffffffffffffffff, uint64(p521Uint1(x28)))
p521_fiat64.go#L3183: x31, x32 = bits.Sub64(x13, 0xffffffffffffffff, uint64(p521Uint1(x30)))
p521_fiat64.go#L3186: x33, x34 = bits.Sub64(x15, 0xffffffffffffffff, uint64(p521Uint1(x32)))
p521_fiat64.go#L3189: x35, x36 = bits.Sub64(x17, 0x1ff, uint64(p521Uint1(x34)))
p521_fiat64.go#L3191: _, x38 = bits.Sub64(uint64(p521Uint1(x18)), uint64(0x0), uint64(p521Uint1(x36)))
p521_fiat64.go#L3193: p521CmovznzU64(&x39, p521Uint1(x38), x19, x1)
p521_fiat64.go#L3195: p521CmovznzU64(&x40, p521Uint1(x38), x21, x3)
p521_fiat64.go#L3197: p521CmovznzU64(&x41, p521Uint1(x38), x23, x5)
p521_fiat64.go#L3199: p521CmovznzU64(&x42, p521Uint1(x38), x25, x7)
p521_fiat64.go#L3201: p521CmovznzU64(&x43, p521Uint1(x38), x27, x9)
p521_fiat64.go#L3203: p521CmovznzU64(&x44, p521Uint1(x38), x29, x11)
p521_fiat64.go#L3205: p521CmovznzU64(&x45, p521Uint1(x38), x31, x13)
p521_fiat64.go#L3207: p521CmovznzU64(&x46, p521Uint1(x38), x33, x15)
p521_fiat64.go#L3209: p521CmovznzU64(&x47, p521Uint1(x38), x35, x17)
p521_fiat64.go#L3238: x3, x4 = bits.Sub64(arg1[1], arg2[1], uint64(p521Uint1(x2)))
p521_fiat64.go#L3241: x5, x6 = bits.Sub64(arg1[2], arg2[2], uint64(p521Uint1(x4)))
p521_fiat64.go#L3244: x7, x8 = bits.Sub64(arg1[3], arg2[3], uint64(p521Uint1(x6)))
p521_fiat64.go#L3247: x9, x10 = bits.Sub64(arg1[4], arg2[4], uint64(p521Uint1(x8)))
p521_fiat64.go#L3250: x11, x12 = bits.Sub64(arg1[5], arg2[5], uint64(p521Uint1(x10)))
p521_fiat64.go#L3253: x13, x14 = bits.Sub64(arg1[6], arg2[6], uint64(p521Uint1(x12)))
p521_fiat64.go#L3256: x15, x16 = bits.Sub64(arg1[7], arg2[7], uint64(p521Uint1(x14)))
p521_fiat64.go#L3259: x17, x18 = bits.Sub64(arg1[8], arg2[8], uint64(p521Uint1(x16)))
p521_fiat64.go#L3261: p521CmovznzU64(&x19, p521Uint1(x18), uint64(0x0), 0xffffffffffffffff)
p521_fiat64.go#L3267: x22, x23 = bits.Add64(x3, x19, uint64(p521Uint1(x21)))
p521_fiat64.go#L3270: x24, x25 = bits.Add64(x5, x19, uint64(p521Uint1(x23)))
p521_fiat64.go#L3273: x26, x27 = bits.Add64(x7, x19, uint64(p521Uint1(x25)))
p521_fiat64.go#L3276: x28, x29 = bits.Add64(x9, x19, uint64(p521Uint1(x27)))
p521_fiat64.go#L3279: x30, x31 = bits.Add64(x11, x19, uint64(p521Uint1(x29)))
p521_fiat64.go#L3282: x32, x33 = bits.Add64(x13, x19, uint64(p521Uint1(x31)))
p521_fiat64.go#L3285: x34, x35 = bits.Add64(x15, x19, uint64(p521Uint1(x33)))
p521_fiat64.go#L3287: x36, _ = bits.Add64(x17, (x19 & 0x1ff), uint64(p521Uint1(x35)))
p521_fiat64.go#L3361: x22, x23 = bits.Add64(x17, x14, uint64(p521Uint1(x21)))
p521_fiat64.go#L3364: x24, x25 = bits.Add64(x15, x12, uint64(p521Uint1(x23)))
p521_fiat64.go#L3367: x26, x27 = bits.Add64(x13, x10, uint64(p521Uint1(x25)))
p521_fiat64.go#L3370: x28, x29 = bits.Add64(x11, x8, uint64(p521Uint1(x27)))
p521_fiat64.go#L3373: x30, x31 = bits.Add64(x9, x6, uint64(p521Uint1(x29)))
p521_fiat64.go#L3376: x32, x33 = bits.Add64(x7, x4, uint64(p521Uint1(x31)))
p521_fiat64.go#L3379: x34, x35 = bits.Add64(x5, x2, uint64(p521Uint1(x33)))
p521_fiat64.go#L3384: x38, x39 = bits.Add64(uint64(0x0), x20, uint64(p521Uint1(x37)))
p521_fiat64.go#L3387: x40, x41 = bits.Add64(uint64(0x0), x22, uint64(p521Uint1(x39)))
p521_fiat64.go#L3390: x42, x43 = bits.Add64(uint64(0x0), x24, uint64(p521Uint1(x41)))
p521_fiat64.go#L3393: x44, x45 = bits.Add64(uint64(0x0), x26, uint64(p521Uint1(x43)))
p521_fiat64.go#L3396: x46, x47 = bits.Add64(uint64(0x0), x28, uint64(p521Uint1(x45)))
p521_fiat64.go#L3399: x48, x49 = bits.Add64(uint64(0x0), x30, uint64(p521Uint1(x47)))
p521_fiat64.go#L3402: x50, x51 = bits.Add64(uint64(0x0), x32, uint64(p521Uint1(x49)))
p521_fiat64.go#L3405: x52, x53 = bits.Add64(uint64(0x0), x34, uint64(p521Uint1(x51)))
p521_fiat64.go#L3411: x56, x57 = bits.Add64(x40, uint64(0x0), uint64(p521Uint1(x55)))
p521_fiat64.go#L3414: x58, x59 = bits.Add64(x42, uint64(0x0), uint64(p521Uint1(x57)))
p521_fiat64.go#L3417: x60, x61 = bits.Add64(x44, uint64(0x0), uint64(p521Uint1(x59)))
p521_fiat64.go#L3420: x62, x63 = bits.Add64(x46, uint64(0x0), uint64(p521Uint1(x61)))
p521_fiat64.go#L3423: x64, x65 = bits.Add64(x48, uint64(0x0), uint64(p521Uint1(x63)))
p521_fiat64.go#L3426: x66, x67 = bits.Add64(x50, uint64(0x0), uint64(p521Uint1(x65)))
p521_fiat64.go#L3429: x68, x69 = bits.Add64(x52, uint64(0x0), uint64(p521Uint1(x67)))
p521_fiat64.go#L3462: x90, x91 = bits.Add64(x85, x82, uint64(p521Uint1(x89)))
p521_fiat64.go#L3465: x92, x93 = bits.Add64(x83, x80, uint64(p521Uint1(x91)))
p521_fiat64.go#L3468: x94, x95 = bits.Add64(x81, x78, uint64(p521Uint1(x93)))
p521_fiat64.go#L3471: x96, x97 = bits.Add64(x79, x76, uint64(p521Uint1(x95)))
p521_fiat64.go#L3474: x98, x99 = bits.Add64(x77, x74, uint64(p521Uint1(x97)))
p521_fiat64.go#L3477: x100, x101 = bits.Add64(x75, x72, uint64(p521Uint1(x99)))
p521_fiat64.go#L3480: x102, x103 = bits.Add64(x73, x70, uint64(p521Uint1(x101)))
p521_fiat64.go#L3485: x106, x107 = bits.Add64(x56, x88, uint64(p521Uint1(x105)))
p521_fiat64.go#L3488: x108, x109 = bits.Add64(x58, x90, uint64(p521Uint1(x107)))
p521_fiat64.go#L3491: x110, x111 = bits.Add64(x60, x92, uint64(p521Uint1(x109)))
p521_fiat64.go#L3494: x112, x113 = bits.Add64(x62, x94, uint64(p521Uint1(x111)))
p521_fiat64.go#L3497: x114, x115 = bits.Add64(x64, x96, uint64(p521Uint1(x113)))
p521_fiat64.go#L3500: x116, x117 = bits.Add64(x66, x98, uint64(p521Uint1(x115)))
p521_fiat64.go#L3503: x118, x119 = bits.Add64(x68, x100, uint64(p521Uint1(x117)))
p521_fiat64.go#L3506: x120, x121 = bits.Add64((uint64(p521Uint1(x69)) + (uint64(p521Uint1(x53)) + (uint64(p521Uint1(x35)) + x3))), x102, uint64(p521Uint1(x119)))
p521_fiat64.go#L3512: x124, x125 = bits.Add64(x108, uint64(0x0), uint64(p521Uint1(x123)))
p521_fiat64.go#L3515: x126, x127 = bits.Add64(x110, uint64(0x0), uint64(p521Uint1(x125)))
p521_fiat64.go#L3518: x128, x129 = bits.Add64(x112, uint64(0x0), uint64(p521Uint1(x127)))
p521_fiat64.go#L3521: x130, x131 = bits.Add64(x114, uint64(0x0), uint64(p521Uint1(x129)))
p521_fiat64.go#L3524: x132, x133 = bits.Add64(x116, uint64(0x0), uint64(p521Uint1(x131)))
p521_fiat64.go#L3527: x134, x135 = bits.Add64(x118, uint64(0x0), uint64(p521Uint1(x133)))
p521_fiat64.go#L3530: x136, x137 = bits.Add64(x120, uint64(0x0), uint64(p521Uint1(x135)))
p521_fiat64.go#L3563: x158, x159 = bits.Add64(x153, x150, uint64(p521Uint1(x157)))
p521_fiat64.go#L3566: x160, x161 = bits.Add64(x151, x148, uint64(p521Uint1(x159)))
p521_fiat64.go#L3569: x162, x163 = bits.Add64(x149, x146, uint64(p521Uint1(x161)))
p521_fiat64.go#L3572: x164, x165 = bits.Add64(x147, x144, uint64(p521Uint1(x163)))
p521_fiat64.go#L3575: x166, x167 = bits.Add64(x145, x142, uint64(p521Uint1(x165)))
p521_fiat64.go#L3578: x168, x169 = bits.Add64(x143, x140, uint64(p521Uint1(x167)))
p521_fiat64.go#L3581: x170, x171 = bits.Add64(x141, x138, uint64(p521Uint1(x169)))
p521_fiat64.go#L3586: x174, x175 = bits.Add64(x124, x156, uint64(p521Uint1(x173)))
p521_fiat64.go#L3589: x176, x177 = bits.Add64(x126, x158, uint64(p521Uint1(x175)))
p521_fiat64.go#L3592: x178, x179 = bits.Add64(x128, x160, uint64(p521Uint1(x177)))
p521_fiat64.go#L3595: x180, x181 = bits.Add64(x130, x162, uint64(p521Uint1(x179)))
p521_fiat64.go#L3598: x182, x183 = bits.Add64(x132, x164, uint64(p521Uint1(x181)))
p521_fiat64.go#L3601: x184, x185 = bits.Add64(x134, x166, uint64(p521Uint1(x183)))
p521_fiat64.go#L3604: x186, x187 = bits.Add64(x136, x168, uint64(p521Uint1(x185)))
p521_fiat64.go#L3607: x188, x189 = bits.Add64((uint64(p521Uint1(x137)) + (uint64(p521Uint1(x121)) + (uint64(p521Uint1(x103)) + x71))), x170, uint64(p521Uint1(x187)))
p521_fiat64.go#L3613: x192, x193 = bits.Add64(x176, uint64(0x0), uint64(p521Uint1(x191)))
p521_fiat64.go#L3616: x194, x195 = bits.Add64(x178, uint64(0x0), uint64(p521Uint1(x193)))
p521_fiat64.go#L3619: x196, x197 = bits.Add64(x180, uint64(0x0), uint64(p521Uint1(x195)))
p521_fiat64.go#L3622: x198, x199 = bits.Add64(x182, uint64(0x0), uint64(p521Uint1(x197)))
p521_fiat64.go#L3625: x200, x201 = bits.Add64(x184, uint64(0x0), uint64(p521Uint1(x199)))
p521_fiat64.go#L3628: x202, x203 = bits.Add64(x186, uint64(0x0), uint64(p521Uint1(x201)))
p521_fiat64.go#L3631: x204, x205 = bits.Add64(x188, uint64(0x0), uint64(p521Uint1(x203)))
p521_fiat64.go#L3664: x226, x227 = bits.Add64(x221, x218, uint64(p521Uint1(x225)))
p521_fiat64.go#L3667: x228, x229 = bits.Add64(x219, x216, uint64(p521Uint1(x227)))
p521_fiat64.go#L3670: x230, x231 = bits.Add64(x217, x214, uint64(p521Uint1(x229)))
p521_fiat64.go#L3673: x232, x233 = bits.Add64(x215, x212, uint64(p521Uint1(x231)))
p521_fiat64.go#L3676: x234, x235 = bits.Add64(x213, x210, uint64(p521Uint1(x233)))
p521_fiat64.go#L3679: x236, x237 = bits.Add64(x211, x208, uint64(p521Uint1(x235)))
p521_fiat64.go#L3682: x238, x239 = bits.Add64(x209, x206, uint64(p521Uint1(x237)))
p521_fiat64.go#L3687: x242, x243 = bits.Add64(x192, x224, uint64(p521Uint1(x241)))
p521_fiat64.go#L3690: x244, x245 = bits.Add64(x194, x226, uint64(p521Uint1(x243)))
p521_fiat64.go#L3693: x246, x247 = bits.Add64(x196, x228, uint64(p521Uint1(x245)))
p521_fiat64.go#L3696: x248, x249 = bits.Add64(x198, x230, uint64(p521Uint1(x247)))
p521_fiat64.go#L3699: x250, x251 = bits.Add64(x200, x232, uint64(p521Uint1(x249)))
p521_fiat64.go#L3702: x252, x253 = bits.Add64(x202, x234, uint64(p521Uint1(x251)))
p521_fiat64.go#L3705: x254, x255 = bits.Add64(x204, x236, uint64(p521Uint1(x253)))
p521_fiat64.go#L3708: x256, x257 = bits.Add64((uint64(p521Uint1(x205)) + (uint64(p521Uint1(x189)) + (uint64(p521Uint1(x171)) + x139))), x238, uint64(p521Uint1(x255)))
p521_fiat64.go#L3714: x260, x261 = bits.Add64(x244, uint64(0x0), uint64(p521Uint1(x259)))
p521_fiat64.go#L3717: x262, x263 = bits.Add64(x246, uint64(0x0), uint64(p521Uint1(x261)))
p521_fiat64.go#L3720: x264, x265 = bits.Add64(x248, uint64(0x0), uint64(p521Uint1(x263)))
p521_fiat64.go#L3723: x266, x267 = bits.Add64(x250, uint64(0x0), uint64(p521Uint1(x265)))
p521_fiat64.go#L3726: x268, x269 = bits.Add64(x252, uint64(0x0), uint64(p521Uint1(x267)))
p521_fiat64.go#L3729: x270, x271 = bits.Add64(x254, uint64(0x0), uint64(p521Uint1(x269)))
p521_fiat64.go#L3732: x272, x273 = bits.Add64(x256, uint64(0x0), uint64(p521Uint1(x271)))
p521_fiat64.go#L3765: x294, x295 = bits.Add64(x289, x286, uint64(p521Uint1(x293)))
p521_fiat64.go#L3768: x296, x297 = bits.Add64(x287, x284, uint64(p521Uint1(x295)))
p521_fiat64.go#L3771: x298, x299 = bits.Add64(x285, x282, uint64(p521Uint1(x297)))
p521_fiat64.go#L3774: x300, x301 = bits.Add64(x283, x280, uint64(p521Uint1(x299)))
p521_fiat64.go#L3777: x302, x303 = bits.Add64(x281, x278, uint64(p521Uint1(x301)))
p521_fiat64.go#L3780: x304, x305 = bits.Add64(x279, x276, uint64(p521Uint1(x303)))
p521_fiat64.go#L3783: x306, x307 = bits.Add64(x277, x274, uint64(p521Uint1(x305)))
p521_fiat64.go#L3788: x310, x311 = bits.Add64(x260, x292, uint64(p521Uint1(x309)))
p521_fiat64.go#L3791: x312, x313 = bits.Add64(x262, x294, uint64(p521Uint1(x311)))
p521_fiat64.go#L3794: x314, x315 = bits.Add64(x264, x296, uint64(p521Uint1(x313)))
p521_fiat64.go#L3797: x316, x317 = bits.Add64(x266, x298, uint64(p521Uint1(x315)))
p521_fiat64.go#L3800: x318, x319 = bits.Add64(x268, x300, uint64(p521Uint1(x317)))
p521_fiat64.go#L3803: x320, x321 = bits.Add64(x270, x302, uint64(p521Uint1(x319)))
p521_fiat64.go#L3806: x322, x323 = bits.Add64(x272, x304, uint64(p521Uint1(x321)))
p521_fiat64.go#L3809: x324, x325 = bits.Add64((uint64(p521Uint1(x273)) + (uint64(p521Uint1(x257)) + (uint64(p521Uint1(x239)) + x207))), x306, uint64(p521Uint1(x323)))
p521_fiat64.go#L3815: x328, x329 = bits.Add64(x312, uint64(0x0), uint64(p521Uint1(x327)))
p521_fiat64.go#L3818: x330, x331 = bits.Add64(x314, uint64(0x0), uint64(p521Uint1(x329)))
p521_fiat64.go#L3821: x332, x333 = bits.Add64(x316, uint64(0x0), uint64(p521Uint1(x331)))
p521_fiat64.go#L3824: x334, x335 = bits.Add64(x318, uint64(0x0), uint64(p521Uint1(x333)))
p521_fiat64.go#L3827: x336, x337 = bits.Add64(x320, uint64(0x0), uint64(p521Uint1(x335)))
p521_fiat64.go#L3830: x338, x339 = bits.Add64(x322, uint64(0x0), uint64(p521Uint1(x337)))
p521_fiat64.go#L3833: x340, x341 = bits.Add64(x324, uint64(0x0), uint64(p521Uint1(x339)))
p521_fiat64.go#L3866: x362, x363 = bits.Add64(x357, x354, uint64(p521Uint1(x361)))
p521_fiat64.go#L3869: x364, x365 = bits.Add64(x355, x352, uint64(p521Uint1(x363)))
p521_fiat64.go#L3872: x366, x367 = bits.Add64(x353, x350, uint64(p521Uint1(x365)))
p521_fiat64.go#L3875: x368, x369 = bits.Add64(x351, x348, uint64(p521Uint1(x367)))
p521_fiat64.go#L3878: x370, x371 = bits.Add64(x349, x346, uint64(p521Uint1(x369)))
p521_fiat64.go#L3881: x372, x373 = bits.Add64(x347, x344, uint64(p521Uint1(x371)))
p521_fiat64.go#L3884: x374, x375 = bits.Add64(x345, x342, uint64(p521Uint1(x373)))
p521_fiat64.go#L3889: x378, x379 = bits.Add64(x328, x360, uint64(p521Uint1(x377)))
p521_fiat64.go#L3892: x380, x381 = bits.Add64(x330, x362, uint64(p521Uint1(x379)))
p521_fiat64.go#L3895: x382, x383 = bits.Add64(x332, x364, uint64(p521Uint1(x381)))
p521_fiat64.go#L3898: x384, x385 = bits.Add64(x334, x366, uint64(p521Uint1(x383)))
p521_fiat64.go#L3901: x386, x387 = bits.Add64(x336, x368, uint64(p521Uint1(x385)))
p521_fiat64.go#L3904: x388, x389 = bits.Add64(x338, x370, uint64(p521Uint1(x387)))
p521_fiat64.go#L3907: x390, x391 = bits.Add64(x340, x372, uint64(p521Uint1(x389)))
p521_fiat64.go#L3910: x392, x393 = bits.Add64((uint64(p521Uint1(x341)) + (uint64(p521Uint1(x325)) + (uint64(p521Uint1(x307)) + x275))), x374, uint64(p521Uint1(x391)))
p521_fiat64.go#L3916: x396, x397 = bits.Add64(x380, uint64(0x0), uint64(p521Uint1(x395)))
p521_fiat64.go#L3919: x398, x399 = bits.Add64(x382, uint64(0x0), uint64(p521Uint1(x397)))
p521_fiat64.go#L3922: x400, x401 = bits.Add64(x384, uint64(0x0), uint64(p521Uint1(x399)))
p521_fiat64.go#L3925: x402, x403 = bits.Add64(x386, uint64(0x0), uint64(p521Uint1(x401)))
p521_fiat64.go#L3928: x404, x405 = bits.Add64(x388, uint64(0x0), uint64(p521Uint1(x403)))
p521_fiat64.go#L3931: x406, x407 = bits.Add64(x390, uint64(0x0), uint64(p521Uint1(x405)))
p521_fiat64.go#L3934: x408, x409 = bits.Add64(x392, uint64(0x0), uint64(p521Uint1(x407)))
p521_fiat64.go#L3967: x430, x431 = bits.Add64(x425, x422, uint64(p521Uint1(x429)))
p521_fiat64.go#L3970: x432, x433 = bits.Add64(x423, x420, uint64(p521Uint1(x431)))
p521_fiat64.go#L3973: x434, x435 = bits.Add64(x421, x418, uint64(p521Uint1(x433)))
p521_fiat64.go#L3976: x436, x437 = bits.Add64(x419, x416, uint64(p521Uint1(x435)))
p521_fiat64.go#L3979: x438, x439 = bits.Add64(x417, x414, uint64(p521Uint1(x437)))
p521_fiat64.go#L3982: x440, x441 = bits.Add64(x415, x412, uint64(p521Uint1(x439)))
p521_fiat64.go#L3985: x442, x443 = bits.Add64(x413, x410, uint64(p521Uint1(x441)))
p521_fiat64.go#L3990: x446, x447 = bits.Add64(x396, x428, uint64(p521Uint1(x445)))
p521_fiat64.go#L3993: x448, x449 = bits.Add64(x398, x430, uint64(p521Uint1(x447)))
p521_fiat64.go#L3996: x450, x451 = bits.Add64(x400, x432, uint64(p521Uint1(x449)))
p521_fiat64.go#L3999: x452, x453 = bits.Add64(x402, x434, uint64(p521Uint1(x451)))
p521_fiat64.go#L4002: x454, x455 = bits.Add64(x404, x436, uint64(p521Uint1(x453)))
p521_fiat64.go#L4005: x456, x457 = bits.Add64(x406, x438, uint64(p521Uint1(x455)))
p521_fiat64.go#L4008: x458, x459 = bits.Add64(x408, x440, uint64(p521Uint1(x457)))
p521_fiat64.go#L4011: x460, x461 = bits.Add64((uint64(p521Uint1(x409)) + (uint64(p521Uint1(x393)) + (uint64(p521Uint1(x375)) + x343))), x442, uint64(p521Uint1(x459)))
p521_fiat64.go#L4017: x464, x465 = bits.Add64(x448, uint64(0x0), uint64(p521Uint1(x463)))
p521_fiat64.go#L4020: x466, x467 = bits.Add64(x450, uint64(0x0), uint64(p521Uint1(x465)))
p521_fiat64.go#L4023: x468, x469 = bits.Add64(x452, uint64(0x0), uint64(p521Uint1(x467)))
p521_fiat64.go#L4026: x470, x471 = bits.Add64(x454, uint64(0x0), uint64(p521Uint1(x469)))
p521_fiat64.go#L4029: x472, x473 = bits.Add64(x456, uint64(0x0), uint64(p521Uint1(x471)))
p521_fiat64.go#L4032: x474, x475 = bits.Add64(x458, uint64(0x0), uint64(p521Uint1(x473)))
p521_fiat64.go#L4035: x476, x477 = bits.Add64(x460, uint64(0x0), uint64(p521Uint1(x475)))
p521_fiat64.go#L4068: x498, x499 = bits.Add64(x493, x490, uint64(p521Uint1(x497)))
p521_fiat64.go#L4071: x500, x501 = bits.Add64(x491, x488, uint64(p521Uint1(x499)))
p521_fiat64.go#L4074: x502, x503 = bits.Add64(x489, x486, uint64(p521Uint1(x501)))
p521_fiat64.go#L4077: x504, x505 = bits.Add64(x487, x484, uint64(p521Uint1(x503)))
p521_fiat64.go#L4080: x506, x507 = bits.Add64(x485, x482, uint64(p521Uint1(x505)))
p521_fiat64.go#L4083: x508, x509 = bits.Add64(x483, x480, uint64(p521Uint1(x507)))
p521_fiat64.go#L4086: x510, x511 = bits.Add64(x481, x478, uint64(p521Uint1(x509)))
p521_fiat64.go#L4091: x514, x515 = bits.Add64(x464, x496, uint64(p521Uint1(x513)))
p521_fiat64.go#L4094: x516, x517 = bits.Add64(x466, x498, uint64(p521Uint1(x515)))
p521_fiat64.go#L4097: x518, x519 = bits.Add64(x468, x500, uint64(p521Uint1(x517)))
p521_fiat64.go#L4100: x520, x521 = bits.Add64(x470, x502, uint64(p521Uint1(x519)))
p521_fiat64.go#L4103: x522, x523 = bits.Add64(x472, x504, uint64(p521Uint1(x521)))
p521_fiat64.go#L4106: x524, x525 = bits.Add64(x474, x506, uint64(p521Uint1(x523)))
p521_fiat64.go#L4109: x526, x527 = bits.Add64(x476, x508, uint64(p521Uint1(x525)))
p521_fiat64.go#L4112: x528, x529 = bits.Add64((uint64(p521Uint1(x477)) + (uint64(p521Uint1(x461)) + (uint64(p521Uint1(x443)) + x411))), x510, uint64(p521Uint1(x527)))
p521_fiat64.go#L4118: x532, x533 = bits.Add64(x516, uint64(0x0), uint64(p521Uint1(x531)))
p521_fiat64.go#L4121: x534, x535 = bits.Add64(x518, uint64(0x0), uint64(p521Uint1(x533)))
p521_fiat64.go#L4124: x536, x537 = bits.Add64(x520, uint64(0x0), uint64(p521Uint1(x535)))
p521_fiat64.go#L4127: x538, x539 = bits.Add64(x522, uint64(0x0), uint64(p521Uint1(x537)))
p521_fiat64.go#L4130: x540, x541 = bits.Add64(x524, uint64(0x0), uint64(p521Uint1(x539)))
p521_fiat64.go#L4133: x542, x543 = bits.Add64(x526, uint64(0x0), uint64(p521Uint1(x541)))
p521_fiat64.go#L4136: x544, x545 = bits.Add64(x528, uint64(0x0), uint64(p521Uint1(x543)))
p521_fiat64.go#L4169: x566, x567 = bits.Add64(x561, x558, uint64(p521Uint1(x565)))
p521_fiat64.go#L4172: x568, x569 = bits.Add64(x559, x556, uint64(p521Uint1(x567)))
p521_fiat64.go#L4175: x570, x571 = bits.Add64(x557, x554, uint64(p521Uint1(x569)))
p521_fiat64.go#L4178: x572, x573 = bits.Add64(x555, x552, uint64(p521Uint1(x571)))
p521_fiat64.go#L4181: x574, x575 = bits.Add64(x553, x550, uint64(p521Uint1(x573)))
p521_fiat64.go#L4184: x576, x577 = bits.Add64(x551, x548, uint64(p521Uint1(x575)))
p521_fiat64.go#L4187: x578, x579 = bits.Add64(x549, x546, uint64(p521Uint1(x577)))
p521_fiat64.go#L4192: x582, x583 = bits.Add64(x532, x564, uint64(p521Uint1(x581)))
p521_fiat64.go#L4195: x584, x585 = bits.Add64(x534, x566, uint64(p521Uint1(x583)))
p521_fiat64.go#L4198: x586, x587 = bits.Add64(x536, x568, uint64(p521Uint1(x585)))
p521_fiat64.go#L4201: x588, x589 = bits.Add64(x538, x570, uint64(p521Uint1(x587)))
p521_fiat64.go#L4204: x590, x591 = bits.Add64(x540, x572, uint64(p521Uint1(x589)))
p521_fiat64.go#L4207: x592, x593 = bits.Add64(x542, x574, uint64(p521Uint1(x591)))
p521_fiat64.go#L4210: x594, x595 = bits.Add64(x544, x576, uint64(p521Uint1(x593)))
p521_fiat64.go#L4213: x596, x597 = bits.Add64((uint64(p521Uint1(x545)) + (uint64(p521Uint1(x529)) + (uint64(p521Uint1(x511)) + x479))), x578, uint64(p521Uint1(x595)))
p521_fiat64.go#L4214: x598 := (uint64(p521Uint1(x597)) + (uint64(p521Uint1(x579)) + x547))
p521_fiat64.go#L4220: x601, x602 = bits.Sub64(x584, 0xffffffffffffffff, uint64(p521Uint1(x600)))
p521_fiat64.go#L4223: x603, x604 = bits.Sub64(x586, 0xffffffffffffffff, uint64(p521Uint1(x602)))
p521_fiat64.go#L4226: x605, x606 = bits.Sub64(x588, 0xffffffffffffffff, uint64(p521Uint1(x604)))
p521_fiat64.go#L4229: x607, x608 = bits.Sub64(x590, 0xffffffffffffffff, uint64(p521Uint1(x606)))
p521_fiat64.go#L4232: x609, x610 = bits.Sub64(x592, 0xffffffffffffffff, uint64(p521Uint1(x608)))
p521_fiat64.go#L4235: x611, x612 = bits.Sub64(x594, 0xffffffffffffffff, uint64(p521Uint1(x610)))
p521_fiat64.go#L4238: x613, x614 = bits.Sub64(x596, 0xffffffffffffffff, uint64(p521Uint1(x612)))
p521_fiat64.go#L4241: x615, x616 = bits.Sub64(x598, 0x1ff, uint64(p521Uint1(x614)))
p521_fiat64.go#L4243: _, x618 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p521Uint1(x616)))
p521_fiat64.go#L4245: p521CmovznzU64(&x619, p521Uint1(x618), x599, x582)
p521_fiat64.go#L4247: p521CmovznzU64(&x620, p521Uint1(x618), x601, x584)
p521_fiat64.go#L4249: p521CmovznzU64(&x621, p521Uint1(x618), x603, x586)
p521_fiat64.go#L4251: p521CmovznzU64(&x622, p521Uint1(x618), x605, x588)
p521_fiat64.go#L4253: p521CmovznzU64(&x623, p521Uint1(x618), x607, x590)
p521_fiat64.go#L4255: p521CmovznzU64(&x624, p521Uint1(x618), x609, x592)
p521_fiat64.go#L4257: p521CmovznzU64(&x625, p521Uint1(x618), x611, x594)
p521_fiat64.go#L4259: p521CmovznzU64(&x626, p521Uint1(x618), x613, x596)
p521_fiat64.go#L4261: p521CmovznzU64(&x627, p521Uint1(x618), x615, x598)
p521_fiat64.go#L4325: x27, x28 = bits.Add64(x22, x19, uint64(p521Uint1(x26)))
p521_fiat64.go#L4328: x29, x30 = bits.Add64(x20, x17, uint64(p521Uint1(x28)))
p521_fiat64.go#L4331: x31, x32 = bits.Add64(x18, x15, uint64(p521Uint1(x30)))
p521_fiat64.go#L4334: x33, x34 = bits.Add64(x16, x13, uint64(p521Uint1(x32)))
p521_fiat64.go#L4337: x35, x36 = bits.Add64(x14, x11, uint64(p521Uint1(x34)))
p521_fiat64.go#L4340: x37, x38 = bits.Add64(x12, x9, uint64(p521Uint1(x36)))
p521_fiat64.go#L4343: x39, x40 = bits.Add64(x10, x7, uint64(p521Uint1(x38)))
p521_fiat64.go#L4348: x43, x44 = bits.Add64(x5, x25, uint64(p521Uint1(x42)))
p521_fiat64.go#L4351: x45, x46 = bits.Add64((uint64(p521Uint1(x6)) + x4), x27, uint64(p521Uint1(x44)))
p521_fiat64.go#L4354: x47, x48 = bits.Add64(uint64(0x0), x29, uint64(p521Uint1(x46)))
p521_fiat64.go#L4357: x49, x50 = bits.Add64(uint64(0x0), x31, uint64(p521Uint1(x48)))
p521_fiat64.go#L4360: x51, x52 = bits.Add64(uint64(0x0), x33, uint64(p521Uint1(x50)))
p521_fiat64.go#L4363: x53, x54 = bits.Add64(uint64(0x0), x35, uint64(p521Uint1(x52)))
p521_fiat64.go#L4366: x55, x56 = bits.Add64(uint64(0x0), x37, uint64(p521Uint1(x54)))
p521_fiat64.go#L4369: x57, x58 = bits.Add64(uint64(0x0), x39, uint64(p521Uint1(x56)))
p521_fiat64.go#L4378: x63, x64 = bits.Add64(x47, x60, uint64(p521Uint1(x62)))
p521_fiat64.go#L4381: x65, x66 = bits.Add64(x49, uint64(0x0), uint64(p521Uint1(x64)))
p521_fiat64.go#L4384: x67, x68 = bits.Add64(x51, uint64(0x0), uint64(p521Uint1(x66)))
p521_fiat64.go#L4387: x69, x70 = bits.Add64(x53, uint64(0x0), uint64(p521Uint1(x68)))
p521_fiat64.go#L4390: x71, x72 = bits.Add64(x55, uint64(0x0), uint64(p521Uint1(x70)))
p521_fiat64.go#L4393: x73, x74 = bits.Add64(x57, uint64(0x0), uint64(p521Uint1(x72)))
p521_fiat64.go#L4426: x95, x96 = bits.Add64(x90, x87, uint64(p521Uint1(x94)))
p521_fiat64.go#L4429: x97, x98 = bits.Add64(x88, x85, uint64(p521Uint1(x96)))
p521_fiat64.go#L4432: x99, x100 = bits.Add64(x86, x83, uint64(p521Uint1(x98)))
p521_fiat64.go#L4435: x101, x102 = bits.Add64(x84, x81, uint64(p521Uint1(x100)))
p521_fiat64.go#L4438: x103, x104 = bits.Add64(x82, x79, uint64(p521Uint1(x102)))
p521_fiat64.go#L4441: x105, x106 = bits.Add64(x80, x77, uint64(p521Uint1(x104)))
p521_fiat64.go#L4444: x107, x108 = bits.Add64(x78, x75, uint64(p521Uint1(x106)))
p521_fiat64.go#L4449: x111, x112 = bits.Add64(x61, x93, uint64(p521Uint1(x110)))
p521_fiat64.go#L4452: x113, x114 = bits.Add64(x63, x95, uint64(p521Uint1(x112)))
p521_fiat64.go#L4455: x115, x116 = bits.Add64(x65, x97, uint64(p521Uint1(x114)))
p521_fiat64.go#L4458: x117, x118 = bits.Add64(x67, x99, uint64(p521Uint1(x116)))
p521_fiat64.go#L4461: x119, x120 = bits.Add64(x69, x101, uint64(p521Uint1(x118)))
p521_fiat64.go#L4464: x121, x122 = bits.Add64(x71, x103, uint64(p521Uint1(x120)))
p521_fiat64.go#L4467: x123, x124 = bits.Add64(x73, x105, uint64(p521Uint1(x122)))
p521_fiat64.go#L4470: x125, x126 = bits.Add64((uint64(p521Uint1(x74)) + (uint64(p521Uint1(x58)) + (uint64(p521Uint1(x40)) + x8))), x107, uint64(p521Uint1(x124)))
p521_fiat64.go#L4479: x131, x132 = bits.Add64(x115, x128, uint64(p521Uint1(x130)))
p521_fiat64.go#L4482: x133, x134 = bits.Add64(x117, uint64(0x0), uint64(p521Uint1(x132)))
p521_fiat64.go#L4485: x135, x136 = bits.Add64(x119, uint64(0x0), uint64(p521Uint1(x134)))
p521_fiat64.go#L4488: x137, x138 = bits.Add64(x121, uint64(0x0), uint64(p521Uint1(x136)))
p521_fiat64.go#L4491: x139, x140 = bits.Add64(x123, uint64(0x0), uint64(p521Uint1(x138)))
p521_fiat64.go#L4494: x141, x142 = bits.Add64(x125, uint64(0x0), uint64(p521Uint1(x140)))
p521_fiat64.go#L4527: x163, x164 = bits.Add64(x158, x155, uint64(p521Uint1(x162)))
p521_fiat64.go#L4530: x165, x166 = bits.Add64(x156, x153, uint64(p521Uint1(x164)))
p521_fiat64.go#L4533: x167, x168 = bits.Add64(x154, x151, uint64(p521Uint1(x166)))
p521_fiat64.go#L4536: x169, x170 = bits.Add64(x152, x149, uint64(p521Uint1(x168)))
p521_fiat64.go#L4539: x171, x172 = bits.Add64(x150, x147, uint64(p521Uint1(x170)))
p521_fiat64.go#L4542: x173, x174 = bits.Add64(x148, x145, uint64(p521Uint1(x172)))
p521_fiat64.go#L4545: x175, x176 = bits.Add64(x146, x143, uint64(p521Uint1(x174)))
p521_fiat64.go#L4550: x179, x180 = bits.Add64(x129, x161, uint64(p521Uint1(x178)))
p521_fiat64.go#L4553: x181, x182 = bits.Add64(x131, x163, uint64(p521Uint1(x180)))
p521_fiat64.go#L4556: x183, x184 = bits.Add64(x133, x165, uint64(p521Uint1(x182)))
p521_fiat64.go#L4559: x185, x186 = bits.Add64(x135, x167, uint64(p521Uint1(x184)))
p521_fiat64.go#L4562: x187, x188 = bits.Add64(x137, x169, uint64(p521Uint1(x186)))
p521_fiat64.go#L4565: x189, x190 = bits.Add64(x139, x171, uint64(p521Uint1(x188)))
p521_fiat64.go#L4568: x191, x192 = bits.Add64(x141, x173, uint64(p521Uint1(x190)))
p521_fiat64.go#L4571: x193, x194 = bits.Add64((uint64(p521Uint1(x142)) + (uint64(p521Uint1(x126)) + (uint64(p521Uint1(x108)) + x76))), x175, uint64(p521Uint1(x192)))
p521_fiat64.go#L4580: x199, x200 = bits.Add64(x183, x196, uint64(p521Uint1(x198)))
p521_fiat64.go#L4583: x201, x202 = bits.Add64(x185, uint64(0x0), uint64(p521Uint1(x200)))
p521_fiat64.go#L4586: x203, x204 = bits.Add64(x187, uint64(0x0), uint64(p521Uint1(x202)))
p521_fiat64.go#L4589: x205, x206 = bits.Add64(x189, uint64(0x0), uint64(p521Uint1(x204)))
p521_fiat64.go#L4592: x207, x208 = bits.Add64(x191, uint64(0x0), uint64(p521Uint1(x206)))
p521_fiat64.go#L4595: x209, x210 = bits.Add64(x193, uint64(0x0), uint64(p521Uint1(x208)))
p521_fiat64.go#L4628: x231, x232 = bits.Add64(x226, x223, uint64(p521Uint1(x230)))
p521_fiat64.go#L4631: x233, x234 = bits.Add64(x224, x221, uint64(p521Uint1(x232)))
p521_fiat64.go#L4634: x235, x236 = bits.Add64(x222, x219, uint64(p521Uint1(x234)))
p521_fiat64.go#L4637: x237, x238 = bits.Add64(x220, x217, uint64(p521Uint1(x236)))
p521_fiat64.go#L4640: x239, x240 = bits.Add64(x218, x215, uint64(p521Uint1(x238)))
p521_fiat64.go#L4643: x241, x242 = bits.Add64(x216, x213, uint64(p521Uint1(x240)))
p521_fiat64.go#L4646: x243, x244 = bits.Add64(x214, x211, uint64(p521Uint1(x242)))
p521_fiat64.go#L4651: x247, x248 = bits.Add64(x197, x229, uint64(p521Uint1(x246)))
p521_fiat64.go#L4654: x249, x250 = bits.Add64(x199, x231, uint64(p521Uint1(x248)))
p521_fiat64.go#L4657: x251, x252 = bits.Add64(x201, x233, uint64(p521Uint1(x250)))
p521_fiat64.go#L4660: x253, x254 = bits.Add64(x203, x235, uint64(p521Uint1(x252)))
p521_fiat64.go#L4663: x255, x256 = bits.Add64(x205, x237, uint64(p521Uint1(x254)))
p521_fiat64.go#L4666: x257, x258 = bits.Add64(x207, x239, uint64(p521Uint1(x256)))
p521_fiat64.go#L4669: x259, x260 = bits.Add64(x209, x241, uint64(p521Uint1(x258)))
p521_fiat64.go#L4672: x261, x262 = bits.Add64((uint64(p521Uint1(x210)) + (uint64(p521Uint1(x194)) + (uint64(p521Uint1(x176)) + x144))), x243, uint64(p521Uint1(x260)))
p521_fiat64.go#L4681: x267, x268 = bits.Add64(x251, x264, uint64(p521Uint1(x266)))
p521_fiat64.go#L4684: x269, x270 = bits.Add64(x253, uint64(0x0), uint64(p521Uint1(x268)))
p521_fiat64.go#L4687: x271, x272 = bits.Add64(x255, uint64(0x0), uint64(p521Uint1(x270)))
p521_fiat64.go#L4690: x273, x274 = bits.Add64(x257, uint64(0x0), uint64(p521Uint1(x272)))
p521_fiat64.go#L4693: x275, x276 = bits.Add64(x259, uint64(0x0), uint64(p521Uint1(x274)))
p521_fiat64.go#L4696: x277, x278 = bits.Add64(x261, uint64(0x0), uint64(p521Uint1(x276)))
p521_fiat64.go#L4729: x299, x300 = bits.Add64(x294, x291, uint64(p521Uint1(x298)))
p521_fiat64.go#L4732: x301, x302 = bits.Add64(x292, x289, uint64(p521Uint1(x300)))
p521_fiat64.go#L4735: x303, x304 = bits.Add64(x290, x287, uint64(p521Uint1(x302)))
p521_fiat64.go#L4738: x305, x306 = bits.Add64(x288, x285, uint64(p521Uint1(x304)))
p521_fiat64.go#L4741: x307, x308 = bits.Add64(x286, x283, uint64(p521Uint1(x306)))
p521_fiat64.go#L4744: x309, x310 = bits.Add64(x284, x281, uint64(p521Uint1(x308)))
p521_fiat64.go#L4747: x311, x312 = bits.Add64(x282, x279, uint64(p521Uint1(x310)))
p521_fiat64.go#L4752: x315, x316 = bits.Add64(x265, x297, uint64(p521Uint1(x314)))
p521_fiat64.go#L4755: x317, x318 = bits.Add64(x267, x299, uint64(p521Uint1(x316)))
p521_fiat64.go#L4758: x319, x320 = bits.Add64(x269, x301, uint64(p521Uint1(x318)))
p521_fiat64.go#L4761: x321, x322 = bits.Add64(x271, x303, uint64(p521Uint1(x320)))
p521_fiat64.go#L4764: x323, x324 = bits.Add64(x273, x305, uint64(p521Uint1(x322)))
p521_fiat64.go#L4767: x325, x326 = bits.Add64(x275, x307, uint64(p521Uint1(x324)))
p521_fiat64.go#L4770: x327, x328 = bits.Add64(x277, x309, uint64(p521Uint1(x326)))
p521_fiat64.go#L4773: x329, x330 = bits.Add64((uint64(p521Uint1(x278)) + (uint64(p521Uint1(x262)) + (uint64(p521Uint1(x244)) + x212))), x311, uint64(p521Uint1(x328)))
p521_fiat64.go#L4782: x335, x336 = bits.Add64(x319, x332, uint64(p521Uint1(x334)))
p521_fiat64.go#L4785: x337, x338 = bits.Add64(x321, uint64(0x0), uint64(p521Uint1(x336)))
p521_fiat64.go#L4788: x339, x340 = bits.Add64(x323, uint64(0x0), uint64(p521Uint1(x338)))
p521_fiat64.go#L4791: x341, x342 = bits.Add64(x325, uint64(0x0), uint64(p521Uint1(x340)))
p521_fiat64.go#L4794: x343, x344 = bits.Add64(x327, uint64(0x0), uint64(p521Uint1(x342)))
p521_fiat64.go#L4797: x345, x346 = bits.Add64(x329, uint64(0x0), uint64(p521Uint1(x344)))
p521_fiat64.go#L4830: x367, x368 = bits.Add64(x362, x359, uint64(p521Uint1(x366)))
p521_fiat64.go#L4833: x369, x370 = bits.Add64(x360, x357, uint64(p521Uint1(x368)))
p521_fiat64.go#L4836: x371, x372 = bits.Add64(x358, x355, uint64(p521Uint1(x370)))
p521_fiat64.go#L4839: x373, x374 = bits.Add64(x356, x353, uint64(p521Uint1(x372)))
p521_fiat64.go#L4842: x375, x376 = bits.Add64(x354, x351, uint64(p521Uint1(x374)))
p521_fiat64.go#L4845: x377, x378 = bits.Add64(x352, x349, uint64(p521Uint1(x376)))
p521_fiat64.go#L4848: x379, x380 = bits.Add64(x350, x347, uint64(p521Uint1(x378)))
p521_fiat64.go#L4853: x383, x384 = bits.Add64(x333, x365, uint64(p521Uint1(x382)))
p521_fiat64.go#L4856: x385, x386 = bits.Add64(x335, x367, uint64(p521Uint1(x384)))
p521_fiat64.go#L4859: x387, x388 = bits.Add64(x337, x369, uint64(p521Uint1(x386)))
p521_fiat64.go#L4862: x389, x390 = bits.Add64(x339, x371, uint64(p521Uint1(x388)))
p521_fiat64.go#L4865: x391, x392 = bits.Add64(x341, x373, uint64(p521Uint1(x390)))
p521_fiat64.go#L4868: x393, x394 = bits.Add64(x343, x375, uint64(p521Uint1(x392)))
p521_fiat64.go#L4871: x395, x396 = bits.Add64(x345, x377, uint64(p521Uint1(x394)))
p521_fiat64.go#L4874: x397, x398 = bits.Add64((uint64(p521Uint1(x346)) + (uint64(p521Uint1(x330)) + (uint64(p521Uint1(x312)) + x280))), x379, uint64(p521Uint1(x396)))
p521_fiat64.go#L4883: x403, x404 = bits.Add64(x387, x400, uint64(p521Uint1(x402)))
p521_fiat64.go#L4886: x405, x406 = bits.Add64(x389, uint64(0x0), uint64(p521Uint1(x404)))
p521_fiat64.go#L4889: x407, x408 = bits.Add64(x391, uint64(0x0), uint64(p521Uint1(x406)))
p521_fiat64.go#L4892: x409, x410 = bits.Add64(x393, uint64(0x0), uint64(p521Uint1(x408)))
p521_fiat64.go#L4895: x411, x412 = bits.Add64(x395, uint64(0x0), uint64(p521Uint1(x410)))
p521_fiat64.go#L4898: x413, x414 = bits.Add64(x397, uint64(0x0), uint64(p521Uint1(x412)))
p521_fiat64.go#L4931: x435, x436 = bits.Add64(x430, x427, uint64(p521Uint1(x434)))
p521_fiat64.go#L4934: x437, x438 = bits.Add64(x428, x425, uint64(p521Uint1(x436)))
p521_fiat64.go#L4937: x439, x440 = bits.Add64(x426, x423, uint64(p521Uint1(x438)))
p521_fiat64.go#L4940: x441, x442 = bits.Add64(x424, x421, uint64(p521Uint1(x440)))
p521_fiat64.go#L4943: x443, x444 = bits.Add64(x422, x419, uint64(p521Uint1(x442)))
p521_fiat64.go#L4946: x445, x446 = bits.Add64(x420, x417, uint64(p521Uint1(x444)))
p521_fiat64.go#L4949: x447, x448 = bits.Add64(x418, x415, uint64(p521Uint1(x446)))
p521_fiat64.go#L4954: x451, x452 = bits.Add64(x401, x433, uint64(p521Uint1(x450)))
p521_fiat64.go#L4957: x453, x454 = bits.Add64(x403, x435, uint64(p521Uint1(x452)))
p521_fiat64.go#L4960: x455, x456 = bits.Add64(x405, x437, uint64(p521Uint1(x454)))
p521_fiat64.go#L4963: x457, x458 = bits.Add64(x407, x439, uint64(p521Uint1(x456)))
p521_fiat64.go#L4966: x459, x460 = bits.Add64(x409, x441, uint64(p521Uint1(x458)))
p521_fiat64.go#L4969: x461, x462 = bits.Add64(x411, x443, uint64(p521Uint1(x460)))
p521_fiat64.go#L4972: x463, x464 = bits.Add64(x413, x445, uint64(p521Uint1(x462)))
p521_fiat64.go#L4975: x465, x466 = bits.Add64((uint64(p521Uint1(x414)) + (uint64(p521Uint1(x398)) + (uint64(p521Uint1(x380)) + x348))), x447, uint64(p521Uint1(x464)))
p521_fiat64.go#L4984: x471, x472 = bits.Add64(x455, x468, uint64(p521Uint1(x470)))
p521_fiat64.go#L4987: x473, x474 = bits.Add64(x457, uint64(0x0), uint64(p521Uint1(x472)))
p521_fiat64.go#L4990: x475, x476 = bits.Add64(x459, uint64(0x0), uint64(p521Uint1(x474)))
p521_fiat64.go#L4993: x477, x478 = bits.Add64(x461, uint64(0x0), uint64(p521Uint1(x476)))
p521_fiat64.go#L4996: x479, x480 = bits.Add64(x463, uint64(0x0), uint64(p521Uint1(x478)))
p521_fiat64.go#L4999: x481, x482 = bits.Add64(x465, uint64(0x0), uint64(p521Uint1(x480)))
p521_fiat64.go#L5032: x503, x504 = bits.Add64(x498, x495, uint64(p521Uint1(x502)))
p521_fiat64.go#L5035: x505, x506 = bits.Add64(x496, x493, uint64(p521Uint1(x504)))
p521_fiat64.go#L5038: x507, x508 = bits.Add64(x494, x491, uint64(p521Uint1(x506)))
p521_fiat64.go#L5041: x509, x510 = bits.Add64(x492, x489, uint64(p521Uint1(x508)))
p521_fiat64.go#L5044: x511, x512 = bits.Add64(x490, x487, uint64(p521Uint1(x510)))
p521_fiat64.go#L5047: x513, x514 = bits.Add64(x488, x485, uint64(p521Uint1(x512)))
p521_fiat64.go#L5050: x515, x516 = bits.Add64(x486, x483, uint64(p521Uint1(x514)))
p521_fiat64.go#L5055: x519, x520 = bits.Add64(x469, x501, uint64(p521Uint1(x518)))
p521_fiat64.go#L5058: x521, x522 = bits.Add64(x471, x503, uint64(p521Uint1(x520)))
p521_fiat64.go#L5061: x523, x524 = bits.Add64(x473, x505, uint64(p521Uint1(x522)))
p521_fiat64.go#L5064: x525, x526 = bits.Add64(x475, x507, uint64(p521Uint1(x524)))
p521_fiat64.go#L5067: x527, x528 = bits.Add64(x477, x509, uint64(p521Uint1(x526)))
p521_fiat64.go#L5070: x529, x530 = bits.Add64(x479, x511, uint64(p521Uint1(x528)))
p521_fiat64.go#L5073: x531, x532 = bits.Add64(x481, x513, uint64(p521Uint1(x530)))
p521_fiat64.go#L5076: x533, x534 = bits.Add64((uint64(p521Uint1(x482)) + (uint64(p521Uint1(x466)) + (uint64(p521Uint1(x448)) + x416))), x515, uint64(p521Uint1(x532)))
p521_fiat64.go#L5077: x535 := (uint64(p521Uint1(x534)) + (uint64(p521Uint1(x516)) + x484))
p521_fiat64.go#L5083: x538, x539 = bits.Sub64(x521, 0xffffffffffffffff, uint64(p521Uint1(x537)))
p521_fiat64.go#L5086: x540, x541 = bits.Sub64(x523, 0xffffffffffffffff, uint64(p521Uint1(x539)))
p521_fiat64.go#L5089: x542, x543 = bits.Sub64(x525, 0xffffffffffffffff, uint64(p521Uint1(x541)))
p521_fiat64.go#L5092: x544, x545 = bits.Sub64(x527, 0xffffffffffffffff, uint64(p521Uint1(x543)))
p521_fiat64.go#L5095: x546, x547 = bits.Sub64(x529, 0xffffffffffffffff, uint64(p521Uint1(x545)))
p521_fiat64.go#L5098: x548, x549 = bits.Sub64(x531, 0xffffffffffffffff, uint64(p521Uint1(x547)))
p521_fiat64.go#L5101: x550, x551 = bits.Sub64(x533, 0xffffffffffffffff, uint64(p521Uint1(x549)))
p521_fiat64.go#L5104: x552, x553 = bits.Sub64(x535, 0x1ff, uint64(p521Uint1(x551)))
p521_fiat64.go#L5106: _, x555 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(p521Uint1(x553)))
p521_fiat64.go#L5108: p521CmovznzU64(&x556, p521Uint1(x555), x536, x519)
p521_fiat64.go#L5110: p521CmovznzU64(&x557, p521Uint1(x555), x538, x521)
p521_fiat64.go#L5112: p521CmovznzU64(&x558, p521Uint1(x555), x540, x523)
p521_fiat64.go#L5114: p521CmovznzU64(&x559, p521Uint1(x555), x542, x525)
p521_fiat64.go#L5116: p521CmovznzU64(&x560, p521Uint1(x555), x544, x527)
p521_fiat64.go#L5118: p521CmovznzU64(&x561, p521Uint1(x555), x546, x529)
p521_fiat64.go#L5120: p521CmovznzU64(&x562, p521Uint1(x555), x548, x531)
p521_fiat64.go#L5122: p521CmovznzU64(&x563, p521Uint1(x555), x550, x533)
p521_fiat64.go#L5124: p521CmovznzU64(&x564, p521Uint1(x555), x552, x535)
p521_fiat64.go#L5151: func p521Selectznz(out1 *[9]uint64, arg1 p521Uint1, arg2 *[9]uint64, arg3 *[9]uint64) {
p521_fiat64.go#L5321: x123 := p521Uint1((x1 >> 8))
p521_fiat64.go#L5409: x1 := (uint64(p521Uint1(arg1[65])) << 8)
 |
The pages are generated with Golds v0.6.7. (GOOS=linux GOARCH=amd64)
Golds is a Go 101 project developed by Tapir Liu.
PR and bug reports are welcome and can be submitted to the issue list.
Please follow @Go100and1 (reachable from the left QR code) to get the latest news of Golds. |